Homotopy Type Theory
function extensionality (history)

October 11, 2018