Back to Results
First PageMeta Content
Software / Functional languages / Homotopy type theory / Type theory / Coq / Homotopy / Agda / Vladimir Voevodsky / Topology / Homotopy theory / Mathematics


Document Date: 2013-10-18 06:54:57

Open Document

File Size: 1,53 MB

Share Result on Facebook
UPDATE