Author:
Torrini Paolo,Heckel Reiko
Publisher
Open Publishing Association
Reference23 articles.
1. Computational interpretation of linear logic;S. Abramsky;Theoretical Computer Science,1993
2. Linear lambda-calculus and categorical models revisited;N. Benton,1993
3. Abstract hierarchical graph transformation;Giorgio Busatto;Mathematical Structures in Computer Science,2005
4. A linear logical framework;I. Cervesato;Information and Computation,2002
5. Relating State-Based and Process-Based Concurrency through Linear Logic;Iliano Cervesato;Electron. Notes Theor. Comput. Sci.,2006
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Linear Types and Locality;Journal of Logic and Computation;2012-06-12