Intuitionistic Type Theory, volume 1 (0)

by Per Martin-Löf
Venue:of Studies in Proof Theory Lecture