Intuitionistic Type Theory

archive-pml.github.iosite

Per Martin-Lof.

from

Math

added

2026-10-10

likes

0

similar

1. ▲
   Martin-Löf. Intuitionistic Type Theory raw.githubusercontent.com

   site category #theoretical-computer-science link ↗

   Notes by Giovanni Sambin of a series of type theory lectures given in Padua, June 1980.

2. ▲
   Bengt. Programming in Martin-Löf's Type Theory cse.chalmers.se

   site category #theoretical-computer-science link ↗

   This book describes different type theories (theories of types, polymorphic and monomorphic sets, and subsets) from a computing science perspective.

3. ▲
   Type Theory and Functional Programming cs.kent.ac.uk

   site category #math link ↗

   Simon Thompson.

4. ▲
   Proofs and Types paultaylor.eu

   site category #math link ↗

   Jean-Yves Girard.

5. ▲
   Category Theory mathematik.uni-muenchen.de

   site category #math link ↗

   B. Pareigis.

6. ▲
   The Univalent Foundations Program Institute for Advanced Study. Homotopy Type Theory: Univalent Foundations of… homotopytypetheory.org

   site category #theoretical-computer-science link ↗

   The present book is intended as a first systematic exposition of the basics of univalent foundations, and a collection of examples of this new style of reasoning — but without requiring the reader to know or learn any formal logic, or to use any computer proof assistant.

   

Math › Foundations and Logic > Type Theory: “Per Martin-Lof.”