A Theory of Types (1971)

by Per Martin-Lf
Venue:University of Stockholm