On the compatibility between the minimalist foundation and constructive set theory

DOI10.1007/978-3-031-08740-0_15OpenAlexW4285243300MaRDI QIDQ2104267

Pietro Sabelli, Samuele Maschio

Publication date: 7 December 2022

Full work available at URL: https://doi.org/10.1007/978-3-031-08740-0_15

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• A minimalist two-level foundation for constructive mathematics
• The calculus of constructions
• The generalised type-theoretic interpretation of constructive set theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the compatibility between the minimalist foundation and constructive set theory