Toggle navigation
Instructor:
Siddhartha Gadgil
Home
Assignments
Assignments
Recursion rules
Odds and Evens
Announcements
Announcements
Project Guidelines (due date April 22, 2019)
Reports
Reports
Adithya Upadhya
Adit Vishnu
Abishek Rajan
Arka Ghosh
Chinmaya Kausik
Nabarun Deka
Vrunda Rathi
Rohit Kumar
Shafil Maheenn
Sidharth Soundarrajan
S Sriram
Idris-lang
Links
Voevodsky: The Origins and Motivations of Univalent Foundations
Conor McBride on no total self-interpreters (following Turing)
Notes
About Notes
Foundations of Mathematics and Computation
Type Theory topics
Identity Type Family
Languages and Limits of Mathematics and Computation
About Notes
Date: 27 April 2017
These are draft notes and are not intended to be a complete reference.
All notes