Intuitionistic Type Theory (1984)

by P Martin-LSf
Venue:Studies in Proof Theory. Bibliopolis