type-theory
Computational Higher Type Theory I: Abstract Cubical Realizability (2016)
arxiv.orgCubical Type Theory: a constructive interpretation of the univalence axiom (2016)
arxiv.orgThe derivative of a regular type is its type of one-hole contexts
strictlypositive.orgLambda Calculi with Types (1992)
citeseerx.ist.psu.eduOn the meanings of the logical constants and the justifications of the logical laws
uberty.orgThe Syntax and Semantics of Quantitative Type Theory (2018)
bentnib.orgPropositions as types
homepages.inf.ed.ac.uk