
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. Solutions to Selected ExercisesA copy of the book (hardback or as eBook) can be ordered at
Back to Rob Nederpelt's home page. 
