A nonstandard standardization theorem-Reference-Cited by-同舟云学术

A nonstandard standardization theorem

Published:2014-01-08 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
language:
Short-container-title:

Author:

Accattoli Beniamino¹,Bonelli Eduardo²,Kesner Delia³,Lombardi Carlos⁴

Affiliation:

1. Carnegie Mellon University, Pittsburgh, PA, USA

2. Univ. Nac. de Quilmes and CONICET, Bernal, Argentina

3. Univ. Paris-Diderot, SPC, PPS, CNRS, Paris, France

4. Univ. Nac. de Quilmes and Univ. de Buenos Aires, Bernal, Argentina

Publisher

ACM

Link

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

Reference40 articles.

1. Explicit substitutions

2. Evaluating functions as processes

3. B. Accattoli. Jumping around the box: graphical and operational studies on λ-calculus and Linear Logic. PhD thesis La Sapienza University of Rome february 2011. B. Accattoli. Jumping around the box: graphical and operational studies on λ-calculus and Linear Logic. PhD thesis La Sapienza University of Rome february 2011.

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

1. A Strong Bisimulation for a Classical Term Calculus;Logical Methods in Computer Science;2024-04-18

2. Node Replication: Theory And Practice;Logical Methods in Computer Science;2024-01-23

3. The Benefits of Diligence;Lecture Notes in Computer Science;2024

4. Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic;Logical Methods in Computer Science;2023-12-14

5. Sharing a Perspective on the -Calculus;Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software;2023-10-18