Philosophical Implications of Type Theory. Lectures given at the Facolt# de Lettere e Filoso��a, Universit# degli Studi di Firenze, Florence. Privately circulated notes (1987)

by P Martin-Lf