The Structural λ-Calculus-Reference-Cited by-同舟云学术

The Structural λ-Calculus

Published:2010 Issue: Volume: Page:381-395
ISSN:0302-9743
Container-title:Computer Science Logic
language:
Short-container-title:

Author:

Accattoli Beniamino,Kesner Delia

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-15205-4_30.pdf

Reference29 articles.

1. Lecture Notes in Computer Science;B. Accattoli,2009

2. Accattoli, B., Kesner, D.: The structural calculus λj. Technical report, PPS, CNRS and University Paris-Diderot (2010)

3. Ó Conchúir, S.: Proving PSN by simulating non-local substitutions with local substitution. In: Proceedings of the 3rd HOR, August 2006, pp. 37–42 (2006)

4. Danos, V., Regnier, L.: Reversible, irreversible and optimal lambda-machines. TCS 227(1), 79–97 (1999)

5. David, R., Guillaume, B.: A λ-calculus with explicit weakening and explicit substitution. MSCS 11, 169–206 (2001)

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

1. On the Operational Theory of the CPS-Calculus: Towards a Theoretical Foundation for IRs;Proceedings of the ACM on Programming Languages;2024-08-15

2. A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications;Logical Methods in Computer Science;2024-07-29

3. Genericity Through Stratification;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08

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

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