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

http://www.cambridge.org/nl/academic/subjects/computer-science/programming-languages-and-applied-logic/type-theory-and-formal-proof-introduction

Back to Rob Nederpelt's home page.