Author:
De Benedetti Erika,Ronchi Della Rocca Simona
Funder
Istituto Nazionale di Alta Matematica “F. Severi”
MIUR COFIN
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference27 articles.
1. Intuitionistic light affine logic;Asperti;ACM Trans. Comput. Log.,2002
2. A polytime functional language from light linear logic;Baillot,2010
3. The Lambda-Calculus: Its Syntax and Semantics;Barendregt,1984
4. Lambda-Calculus with Types;Barendregt,2013
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The bang calculus revisited;Information and Computation;2023-08
2. Tight typings and split bounds, fully developed;Journal of Functional Programming;2020
3. The Bang Calculus Revisited;Functional and Logic Programming;2020
4. Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus;Electronic Proceedings in Theoretical Computer Science;2019-04-23
5. Tight typings and split bounds;Proceedings of the ACM on Programming Languages;2018-07-30