Intuitionistic Type Theory. Studies in Proof Theory. Bibliopolis (1984)

by Per Martin-Löf
Venue:In G. Sambin