Coherence and normalisation-by-evaluation for bicategorical cartesian closed structure-Reference-Cited by-同舟云学术

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

Published:2020-07-08 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science
language:
Short-container-title:

Author:

Fiore Marcelo¹,Saville Philip²

Affiliation:

1. Department of Computer Science and Technology, University of Cambridge, Cambridge, UK

2. School of Informatics, University of Edinburgh, Edinburgh, UK

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3373718.3394769

Reference74 articles.

1. M. G. Abbott. 2003. Categories of containers. Ph.D. Dissertation. University of Leicester. M. G. Abbott. 2003. Categories of containers. Ph.D. Dissertation. University of Leicester.

2. Normalization by Evaluation for Martin-Löf Type Theory with Typed Equality Judgements

3. Normalization by Evaluation and Algebraic Effects

4. A characterization of lambda definability in categorical models of implicit polymorphism

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Fixpoint operators for 2-categorical structures;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26

2. Why Are Proofs Relevant in Proof-Relevant Models?;Proceedings of the ACM on Programming Languages;2023-01-09

3. A categorical framework for congruence of applicative bisimilarity in higher-order languages;Logical Methods in Computer Science;2022-09-21

4. Coherence for bicategorical cartesian closed structure;Mathematical Structures in Computer Science;2021-10-18

5. Intersection Type Distributors;2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2021-06-29