Author:
Benton Nick,Bierman Gavin,Paiva Valeria,Hyland Martin
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Samson Abramsky. Computational interpretations of linear logic. Technical Report 90/20, Department of Computing, Imperial College, London, October 1990.
2. Nick Benton, Gavin Bierman, Valeria de Paiva, and Martin Hyland. Term assignment for intuitionistic linear logic. Technical Report 262, Computer Laboratory, University of Cambridge, August 1992.
3. Nick Benton, Gavin Bierman, Valeria de Paiva, and Martin Hyland. A term calculus for intuitionistic linear logic. In Proceedings of International Conference on Typed Lambda Calculi and Applications, Lecture Notes in Computer Science, March 1993.
4. Valeria C.V. de Paiva. The Dialetica Categories. PhD thesis, Department of Pure Mathematics and Mathematical Statistics, University of Cambridge, 1988. Published as Computer Laboratory Technical Report 213, 1990.
5. S. Eilenberg and G.M. Kelly. Closed categories. In Proceedings of Conference on Categorical Algebra, La Jolla, 1966.
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Displayed Monoidal Categories for the Semantics of Linear Logic;Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs;2024-01-09
2. When Programs Have to Watch Paint Dry;Lecture Notes in Computer Science;2023
3. Deriving Distributive Laws for Graded Linear Types;Electronic Proceedings in Theoretical Computer Science;2021-12-30
4. Deductive Systems and Coherence for Skew Prounital Closed Categories;Electronic Proceedings in Theoretical Computer Science;2021-01-12
5. A Double Category Theoretic Analysis of Graded Linear Exponential Comonads;Lecture Notes in Computer Science;2018