Posts tagged Type theory
- Homotopy type theory at IITK - January 3, 2015 (Saturday)
- Dependent types - August 27, 2014 (Wednesday)
- Typed lambda calculus - January 11, 2014 (Saturday)
- Lambda calculus - November 4, 2013 (Monday)
- Types, proofs and programming. - October 18, 2013 (Friday)