Author:
Dal Lago Ugo,Schöpp Ulrich
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference44 articles.
1. Geometry of interaction and linear combinatory algebras;Abramsky;Math. Struct. Comput. Sci.,2002
2. Full abstraction for PCF;Abramsky;Inf. Comput.,2000
3. Functional oracle queries as a measure of parallel time;Àlvarez,1991
4. A note on logspace optimization;Àlvarez;Comput. Complex.,1995
5. Approches dynamiques en sémantique de la logique lineaire: jeux et géometrie de l'interaction;Baillot,1999
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Polynomial Time and Dependent Types;Proceedings of the ACM on Programming Languages;2024-01-05
2. Reasonable Space for the λ-Calculus, Logarithmically;Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science;2022-08-02
3. Implicit computation complexity in higher-order programming languages;Mathematical Structures in Computer Science;2022-03-15
4. The Space of Interaction;2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2021-06-29
5. The (In)Efficiency of interaction;Proceedings of the ACM on Programming Languages;2021-01-04