Intuitionistic Type Theory by Per Martin-Löf. Notes by Giovanni Sambin of a series of lectures given in Padova, June 1980

Hall, J. G. ed. (2021). Intuitionistic Type Theory by Per Martin-Löf. Notes by Giovanni Sambin of a series of lectures given in Padova, June 1980. Digital Edition.

Viewing alternatives

Item Actions

Export

You can export this page using these formats

About

• Item ORO ID
• 75650
• Item Type
• Edited Book
• Academic Unit or School
• Faculty of Science, Technology, Engineering and Mathematics (STEM) > Computing and Communications
  Faculty of Science, Technology, Engineering and Mathematics (STEM)
• Copyright Holders
• © 2020 Per Martin-Löf
• Depositing User
• Jon Hall