A synopsis of morphoid type theory

MaRDI QIDQ4599199zbMATH OpenFDO

Authors David Allen McAllester

Publication date 18 December 2017

Full work available at URL https://aclweb.org/anthology/W/W15/W15-2307.pdf

Mathematics Subject Classification ID

Recommendations

• Homotopy type theory. Univalent foundations of mathematics
• Constructivist versus structuralist foundations
• Biform theories: project description
• Does homotopy type theory provide a foundation for mathematics?
• scientific article; zbMATH DE number 2085173

This page was built for publication: A synopsis of morphoid type theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4599199)