Coherence and normalisation-by-evaluation for bicategorical Cartesian closed structure

DOI10.1145/3373718.3394769zbMATH Open1498.18030OpenAlexW3029012198MaRDI QIDQ5145652FDOQ5145652

Marcelo P. Fiore, Philip Saville

Publication date: 21 January 2021

Published in: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3373718.3394769

Recommendations

• Coherence for bicategorical cartesian closed structure
• Bicartesian coherence
• Coherence in Cartesian closed categories and the generality of proofs
• Applications of methods of proof theory in category theory.
• Coherence for closed categories with biproducts

zbMATH Keywords

coherencetype theorybicategoriesnormalisationCartesian closurenormalisation-by-evaluation

Mathematics Subject Classification ID

Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) 2-categories, bicategories, double categories (18N10) Type theory (03B38)

Cited In (4)

• Relative full completeness for bicategorical Cartesian closed structure
• Bicartesian coherence
• Coherence for bicategorical cartesian closed structure
• A categorical framework for congruence of applicative bisimilarity in higher-order languages

This page was built for publication: Coherence and normalisation-by-evaluation for bicategorical Cartesian closed structure

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