Intuitionistic type theory. Notes by Giovanni Sambin of a Series of Lectures given (1980)

by P Martin-Löf
Venue:in Padua