Posts tagged Type theory

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