Coherent and Strongly Discrete Rings in Type Theory
No abstract available.
DOI 10.1007/978-3-642-35308-6_21
Related papers
- A Formalization of Complete Discrete Valuation Rings and Local Fields CPP 2024
- Bar Inductive Predicates for Constructive Algebra in Rocq CPP 2026
- Computing Cohomology Rings in Cubical Agda CPP 2023
- Certifying Rings of Integers in Number Fields CPP 2025
- Formalizing the ring of Witt vectors CPP 2021
- A Coherence Theorem for Martin-Löf's Type Theory JFP 1998
- Exploiting high-level coherence information to optimize distributed shared state PPoPP 2003
- Pizza into Java: Translating Theory into Practice POPL 1997