Intuitionistic Type Theory. Bibioplois (1984)

by Per Martin-Lof