An Intuitionstic Theory of Types (1995)

by P Martin-Löf
Venue:Twenty-five Years of Constructive Type Theory