Author:
Bucciarelli Antonio,Ehrhard Thomas,Manzonetto Giulio
Reference22 articles.
1. Categories, types and structures;Asperti,1991
2. The Lambda Calculus: Its Syntax and Semantics;Barendregt,1984
3. From computation to foundations via functions and application: the λ-calculus and its webbed models;Berline;Theoret. Comput. Sci.,2000
4. Lambda-calculi for (strict) parallel functions;Boudol;Inf. Comput.,1994
5. Full abstraction for lambda calculus with resources and convergence testing;Boudol,1996
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications;Logical Methods in Computer Science;2023-12-20
2. Extensional proofs in a propositional logic modulo isomorphisms;Theoretical Computer Science;2023-10
3. Categorical models of Linear Logic with fixed points of formulas;2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2021-06-29
4. Polymorphic System I;IFL 2020: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages;2020-09-02
5. Taylor subsumes Scott, Berry, Kahn and Plotkin;Proceedings of the ACM on Programming Languages;2020-01