Resource operators for λ-calculus-Reference-Cited by-同舟云学术

Resource operators for λ-calculus

Published:2007-04 Issue:4 Volume:205 Page:419-473
ISSN:0890-5401
Container-title:Information and Computation
language:en
Short-container-title:Information and Computation

Author:

Kesner Delia,Lengrand Stéphane

Publisher

Elsevier BV

Subject

Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science

Reference61 articles.

1. Computational interpretations of linear logic;Abramsky;Theoretical Computer Science,1993

2. A. Arbiser, E. Bonelli, and A. Rı´os, Perpetuality in a lambda calculus with explicit substitutions and composition, Workshop Argentino de Informática Teórica (WAIT), JAIIO, 2000.

3. Explicit substitutions;Abadi;Journal of Functional Programming,1991

4. A. Asperti, S. Guerrini, The Optimal Implementation of Functional Programming Languages, volume 45 of Cambridge Tracts in Theoretical Computer Science Cambridge University Press, 1998.

5. H. Barendregt. The Lambda Calculus: Its Syntax and Semantics, volume 103 of Studies in Logic and the Foundations of Mathematics. North-Holland, 1984. Revised Edition.

Cited by 31 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Node Replication: Theory And Practice;Logical Methods in Computer Science;2024-01-23

2. Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic;Logical Methods in Computer Science;2023-12-14

3. Non-Deterministic Functions as Non-Deterministic Processes (Extended Version);Logical Methods in Computer Science;2023-10-10

4. Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic;Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science;2022-08-02

5. The Spirit of Node Replication;Lecture Notes in Computer Science;2021