
Rob Nederpelt

Type Theory and Formal Proof  An Introduction
The book `Type Theory and Formal Proof  An Introduction' has appeared in November 2014 with Cambridge University Press. The authors are Rob Nederpelt and Herman Geuvers. A description of the book can be found in the Preface, which is a copy of the corresponding pages in the book. See also the Foreword by Henk Barendregt. For a list of the headings of the chapters and the sections, see the Contents. A number of representative exercises are elaborated in the document Solutions to Selected Exercises. A copy of the book (hardback or as eBook) can be ordered at
Back to Rob Nederpelt's home page. 
