type theory Add New

Quick search: short videos, learn by doing, books, challenging, visual, try your own advanced search

Books

Type Theory & Functional Programming (1999)
Type Theory and Formal Proof: An Introduction (2014)

Research Papers

The Syntax and Semantics of Quantitative Type Theory (2018)
Computational Higher Type Theory I: Abstract Cubical Realizability (2016)
Cubical Type Theory: a constructive interpretation of the univalence axiom (2016)
Lambda Calculi with Types (1992)
Propositions as types
The derivative of a regular type is its type of one-hole contexts
On the meanings of the logical constants and the justifications of the logical laws