Author:
Dal Lago Ugo,Roversi Luca,Vercelli Luca
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Dal Lago, U.: The geometry of linear higher-order recursion. In: Proc. 20th Annual Symposium on Logic in Computer Science, pp. 366–375. IEEE Computer Society, Los Alamitos (2005)
2. Dal Lago, U., Roversi, L., Vercelli, L.: Taming modal impredicativity: Superlazy reduction. Extended Version (2008),
http://arxiv.org/abs/0810.2891
3. Feferman, S.: Predicativity. In: Shapiro, S. (ed.) The Oxford Handbook of the Philosophy of Mathematics and Logic, pp. 590–624. Oxford University Press, Oxford (2005)
4. Girard, J.-Y., Scedrov, A., Scott, P.: Bounded linear logic: A modular approach to polynomial time computability. Theor. Comput. Sci. 97, 1–66 (1992)
5. Girard, J.-Y.: Geometry of interaction 1: interpretation of system F. In: Proc. Logic Colloquium 1988, pp. 221–260 (1989)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Light logics and higher-order processes;Mathematical Structures in Computer Science;2014-11-17
2. Light Logics and Higher-Order Processes;Electronic Proceedings in Theoretical Computer Science;2010-11-28