A synopsis of morphoid type theory

zbMATH Open1376.03011MaRDI QIDQ4599199FDOQ4599199

Authors: David Allen McAllester 

Publication date: 18 December 2017

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

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

Mathematics Subject Classification ID

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)