Homotopy Type Theory
Uniqueness of Identity Proofs (history)

August 30, 2014

May 15, 2014