Logo

Type Theory

e-books in Type Theory category

Book cover: Intuitionistic Type TheoryIntuitionistic Type Theory
by ,
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.
(7412 views)
Book cover: Homotopy Type TheoryHomotopy Type Theory
by - Institute for Advanced Study ,
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.
(6704 views)
Book cover: Introduction to Type TheoryIntroduction to Type Theory
by - Radboud University Nijmegen ,
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).
(8859 views)

Book cover: Programming in Martin-Lof's Type Theory: An IntroductionProgramming in Martin-Lof's Type Theory: An Introduction
by - Oxford University Press ,
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.
(9547 views)
Book cover: Type Theory and Functional ProgrammingType Theory and Functional Programming
by - Addison-Wesley ,
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.
(11578 views)