/ W&I - Rob NederpeltTU/e - Computing Science dep. / zoek / reageer
Rob Nederpelt

solutions to exercises

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.