A brief introduction to type theory and the univalence axiom
- Author
- Jackson Macor
- Language
- English
- Edition
- version 11 Nov 2015
- Year
- 2015
- Page
- 15
- File Type
- pdf
- File Size
- 244.0 KiB
How to Download?!!!
Just click on START button on Telegram Bot