Quotients over Minimal Type Theory

DOI10.1007/978-3-540-73001-9_54MaRDI QIDQ5425354zbMATH OpenOpenAlexFDO

Authors Maria Emilia Maietti

Publication date 13 November 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73001-9_54

zbMATH Keywords

dependent type theoryintuitionistic logicquotient completion

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Other constructive mathematics (03F65) Categorical logic, topoi (03G30)

Recommendations

• Quotient topologies in constructive set theory and type theory
• scientific article; zbMATH DE number 1927427
• Quotient inductive-inductive types
• Quotients, inductive types, and quotient inductive types
• Type theory in type theory using quotient inductive types
• scientific article; zbMATH DE number 1420793
• scientific article; zbMATH DE number 2003152
• Extensional quotients for type theory and the consistency problem for NF
• Constructing infinitary quotient-inductive types
• scientific article; zbMATH DE number 2185663

Cited in

(5)

• A minimalist two-level foundation for constructive mathematics
• Quotient topologies in constructive set theory and type theory
• scientific article; zbMATH DE number 2185663 (Why is no real title available?)
• scientific article; zbMATH DE number 2003152 (Why is no real title available?)
• scientific article; zbMATH DE number 1420793 (Why is no real title available?)

This page was built for publication: Quotients over Minimal Type Theory

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