Author:
Baillot Patrick,Coppola Paolo,Dal Lago Ugo
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference34 articles.
1. Light linear logic;Girard;Information and Computation,1998
2. Light affine logic;Asperti,1998
3. Intuitionistic light affine logic;Asperti;ACM Transactions on Computational Logic,2002
4. Optimizing optimal reduction. A type inference algorithm for elementary affine logic;Coppola;ACM Transactions on Computational Logic,2006
5. Principal typing for lambda calculus in elementary affine logic;Coppola;Fundamenta Informaticae,2005
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Implicit computation complexity in higher-order programming languages;Mathematical Structures in Computer Science;2022-03-15
2. The (In)Efficiency of interaction;Proceedings of the ACM on Programming Languages;2021-01-04
3. (In)Efficiency and Reasonable Cost Models;Electronic Notes in Theoretical Computer Science;2018-10
4. Plugging-in proof development environments usingLocksinLF;Mathematical Structures in Computer Science;2018-05-15
5. On quantum lambda calculi: a foundational perspective;Mathematical Structures in Computer Science;2014-11-17