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
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.