Author:
Mackie Ian,Rom�n Leopoldo,Abramsky Samson
Publisher
Springer Science and Business Media LLC
Subject
General Computer Science,Theoretical Computer Science,Algebra and Number Theory
Reference22 articles.
1. S. Abramsky: Computational interpretations of linear logic,Theoretical Computer Science 111 (1993), 3?57. Revised version of Imperial College Technical Report DoC 90/20, October 1990.
2. H. P. Barendregt:The lambda Calculus: Its Syntax and Semantics, North-Holland, revised edition (1984).
3. G. Berry and G. Boudol: The Chemical Abstract Machine, in:Converence Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages (1990), pp. 81?94.
4. N. Benton, G. Bierman, V. de Paiva, and M. Hyland: Term assignment for intuitionistic linear logic, Technical Report No. 262, University of Cambridge (August 1992).
5. R. Blute: Linear logic, coherence and dinaturality, Technical report, McGill University (1992).
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The syntactic side of autonomous categories enriched over generalised metric spaces;Logical Methods in Computer Science;2023-12-18
2. Categorical comprehensions and recursion;Journal of Logic and Computation;2016-06-25
3. Strong Typed Böhm Theorem and Functional Completeness on the Linear Lambda Calculus;Electronic Proceedings in Theoretical Computer Science;2016-04-01
4. Natural Number Objects in Dialectica Categories;Electronic Notes in Theoretical Computer Science;2014-07
5. Partial Recursive Functions and Finality;Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky;2013