Subject
General Computer Science,Theoretical Computer Science
Reference18 articles.
1. R. Blute, R. Cockett, R. Seely, Differential categories, unpublished article, 2005.
2. Fock space: a model of linear exponential types;Blute,1994
3. G. Boudol, The lambda calculus with multiplicities, Technical Report, 2025, INRIA Sophia-Antipolis, 1993.
4. A semantics for lambda calculi with resource;Boudol;Math. Structures Comput. Sci.,1999
5. Decidability properties of recursive types;Cardone,2003
Cited by
75 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. δ is for Dialectica;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic;Logical Methods in Computer Science;2023-12-14
3. Taylor Expansion as a Monad in Models of DiLL;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26
4. Higher-Order Leak and Deadlock Free Locks;Proceedings of the ACM on Programming Languages;2023-01-09
5. Resource approximation for the λμ-calculus;Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science;2022-08-02