Welcome to **E-Books Directory**

This page lists freely downloadable books.

# Type Theory

E-Books for free online viewing and/or download

## e-books in this category

Tweet |

**Intuitionistic Type Theory**

by **Per Martin-Loef** , **1980**

Contents: Propositions and judgements; Explanations of the forms of judgement; Propositions; Rules of equality; Hypothetical judgements and substitution rules; Judgements with more than one assumption and contexts; Sets and categories; etc.

(**1254** views)

**Homotopy Type Theory**

by **Peter Aczel, et al.** - **Institute for Advanced Study** , **2013**

The present work has its origins in our collective attempts to develop a new style of 'informal type theory' that can be read and understood by a human being, as a complement to a formal proof that can be checked by a machine.

(**1171** views)

**Introduction to Type Theory**

by **Herman Geuvers** - **Radboud University Nijmegen** , **2011**

The author gives an introductory overview of type theory for PhD students. He focuses on the use of type theory for compile-time checking of functional programs and on the use of types in proof assistants (theorem provers).

(**2622** views)

**Programming in Martin-Lof's Type Theory: An Introduction**

by **Bengt Nordstrom, Kent Petersson, Jan M. Smith** - **Oxford University Press** , **1990**

This book contains a thorough introduction to type theory, with information on polymorphic sets, subsets, and monomorphic sets. Martin-Lof's type theory makes possible the expression of both specifications and programs within the same formalism.

(**3482** views)

**Type Theory and Functional Programming**

by **Simon Thompson** - **Addison-Wesley** , **1999**

The book is a course in type theory. It includes introduction to logic and functional programming, the type theory with many examples, the system from a mathematical perspective, and a number of important properties of the theory.

(**5553** views)

Tweet |