Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory

arXiv2312.05658MaRDI QIDQ6462864FDOQ6462864

Authors: William M. Farmer, Dennis Y. Zvigelsky 

Publication date: 9 December 2023

Mathematics Subject Classification ID

Higher-order logic (03B16) Type theory (03B38) Mathematical knowledge management (68V30)

This page was built for publication: Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory

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