Jumping Boxes-Reference-Cited by-同舟云学术

Jumping Boxes

Published:2009 Issue: Volume: Page:55-70
ISSN:0302-9743
Container-title:Computer Science Logic
language:
Short-container-title:

Author:

Accattoli Beniamino,Guerrini Stefano

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-04027-6_7

Reference14 articles.

1. Asperti, A., Guerrini, S.: The Optimal Implementation of Functional Programming Languages. Cambridge Tracts in Theoretical Computer Science, vol. 45. Cambridge University Press, Cambridge (1998)

2. Cosmo, R.D., Kesner, D., Polonovski, E.: Proof nets and explicit substitutions. Mathematical Structures in Computer Science 13(3), 409–450 (2003)

3. Lecture Notes in Computer Science;P. Giamberardino Di,2006

4. Girard, J.-Y.: Linear logic. Theoretical Computer Science 50(1), 1–102 (1987)

5. Girard, J.-Y.: Quantifiers in linear logic II. In: Prépublications de l’Équipe de Logique 19. Université Paris VII, Paris (1991)

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

1. A fine-grained computational interpretation of Girard’s intuitionistic proof-nets;Proceedings of the ACM on Programming Languages;2022-01-12

2. THE DYNAMIC GEOMETRY OF INTERACTION MACHINE: A TOKEN-GUIDED GRAPH REWRITER;LOG METH COMPUT SCI;2019

3. Efficient Implementation of Evaluation Strategies via Token-Guided Graph Rewriting;Electronic Proceedings in Theoretical Computer Science;2018-02-16

4. Proof Nets and the Linear Substitution Calculus;Theoretical Aspects of Computing – ICTAC 2018;2018

5. Jump from parallel to sequential proofs: exponentials;Mathematical Structures in Computer Science;2016-12-05