« Propositions as types » : Philip Wadler

Advertisements
This entry was posted in homotopy type theory. Bookmark the permalink.