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

DOI10.1145/3373718.3394769zbMath1498.18030OpenAlexW3029012198MaRDI QIDQ5145652

Philip Saville, Marcelo P. Fiore

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

zbMATH Keywords

coherencetype theorynormalisationbicategoriesCartesian 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)

Related Items (3)

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

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