Author:
Ehrhard Thomas,Regnier Laurent
Subject
General Computer Science,Theoretical Computer Science
Reference14 articles.
1. A semantics for lambda calculi with resource;Boudol;Mathematical Structures in Computer Science,1999
2. Gérard Boudol. The lambda calculus with multiplicities. Technical Report 2025, INRIA Sophia-Antipolis, 1993
3. Fock space: a model of linear exponential types;Blute,1993
4. Decidability properties of recursive types;Cardone,2003
5. The structure of multiplicatives;Danos;Archives for Mathematical Logic,1989
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献