The Cubical Model of Type Theory [thesis]
- Author
- Jonathan Weinberger
- Publisher
- Technische Universität
- Language
- English
- Year
- 2016
- Page
- 36
- File Type
- pdf
- File Size
- 524.1 KiB
How to Download?!!!
Just click on START button on Telegram Bot