APA (7th ed.) Citation

Martin-Löf, P. (1984). Intuitionistic type theory: Notes by Giovanni Sambin of a series of lectures given in Padua, June 1980. Bibliopolis.

Chicago Style (17th ed.) Citation

Martin-Löf, Per. Intuitionistic Type Theory: Notes by Giovanni Sambin of a Series of Lectures Given in Padua, June 1980. Napoli: Bibliopolis, 1984.

MLA (9th ed.) Citation

Martin-Löf, Per. Intuitionistic Type Theory: Notes by Giovanni Sambin of a Series of Lectures Given in Padua, June 1980. Bibliopolis, 1984.

Warning: These citations may not always be 100% accurate.