Intuitionistic Type Theory: Notes by Giovanni Sambin of a Series of Lectures Given in Padua, June 1980 (Studies in Proof Theory)
- Author
- Per Martin-Löf
- Language
- English
- Page
- 56
- File Type
- pdf
- File Size
- 644.5 KiB
How to Download?!!!
Just click on START button on Telegram Bot