Author:
Dal Lago Ugo,Hofmann Martin
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Asperti, A., Roversi, L.: Intuitionistic light affine logic. ACM Transactions on Computational Logic 3(1), 137–175 (2002)
2. Barendregt, H.: The Lambda Calculus: Its Syntax and Semantics. In: Studies in Logic and the Foundations of Mathematics. North-Holland, Amsterdam (1984)
3. Bellantoni, S., Cook, S.: A new recursion-theoretic characterization of the polytime functions. Computational Complexity 2, 97–110 (1992)
4. Dal Lago, U., Hofmann, M.: Bounded linear logic, revisited. Extended Version (2009), http://arxiv.org/abs/0904.2675
5. Danos, V., Joinet, J.-B.: Linear logic and elementary time. Information and Computation 183(1), 123–137 (2003)
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Towards logical foundations for probabilistic computation;Annals of Pure and Applied Logic;2023-07
2. A graded dependent type system with a usage-aware semantics;Proceedings of the ACM on Programming Languages;2021-01-04
3. Generalized Bounded Linear Logic and its Categorical Semantics;Lecture Notes in Computer Science;2021
4. Recovering purity with comonads and capabilities;Proceedings of the ACM on Programming Languages;2020-08-02
5. A unified view of modalities in type systems;Proceedings of the ACM on Programming Languages;2020-08-02