Author:
Guerrini Stefano,Martini Simone,Masini Andrea
Subject
General Computer Science,Theoretical Computer Science
Reference28 articles.
1. Computational interpretations of linear logic;Abramsky;Theoret. Comput. Sci.,1993
2. Linear logic, comonads and optimal reductions;Asperti;Fund. Inform.,1995
3. A. Asperti, V. Danos, C. Laneve L. Regnier, Paths in the lambda-calculus: three years of communications without understanding, Proc. 9th Ann. Symp. on Logic in Computer Science, Paris, France, July 1994, pp. 426–436.
4. A. Asperti, S. Guerrini, The Optimal Implementation of Functional Programming Languages, Cambridge Tracts in Theoretical Computer Science, Vol. 45, Cambridge University Press, Cambridge, 1998.
5. Interaction Systems II;Asperti;Theoret. Comput. Sci.,1996
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics;ACM Transactions on Computational Logic;2021-06-24
2. Operational Semantics with Hierarchical Abstract Syntax Graphs;Electronic Proceedings in Theoretical Computer Science;2021-02-08
3. Multi-focused cut elimination;Mathematical Structures in Computer Science;2017-03-02
4. Cut Elimination in Multifocused Linear Logic;Electronic Proceedings in Theoretical Computer Science;2015-02-16
5. Sharing Implementations of Graph Rewriting Systems;Electronic Notes in Theoretical Computer Science;2005-05