Author:
Laird Jim,Manzonetto Giulio,McCusker Guy
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference31 articles.
1. The differential lambda-calculus;Ehrhard;Theor. Comput. Sci.,2003
2. Intuitionistic differential nets and lambda-calculus;Tranquilli;Theor. Comput. Sci.,2011
3. The lambda-calculus with multiplicities (abstract);Boudol,1993
4. Categorical models for simply typed resource calculi;Bucciarelli;Electron. Notes Theor. Comput. Sci.,2010
5. Differential categories;Blute;Math. Structures Comput. Sci.,2006
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Jacobians and Gradients for Cartesian Differential Categories;Electronic Proceedings in Theoretical Computer Science;2022-11-03
2. Weighted models for higher-order computation;Information and Computation;2020-12
3. Full abstraction for the quantum lambda-calculus;Proceedings of the ACM on Programming Languages;2020-01
4. Integral categories and calculus categories;Mathematical Structures in Computer Science;2018-02-05
5. From Qualitative to Quantitative Semantics;Lecture Notes in Computer Science;2017