Linear explicit substitutions
From MaRDI portal
Publication:4444908
DOI10.1093/jigpal/8.1.7zbMath1033.03007MaRDI QIDQ4444908
Eike Ritter, Neil Ghani, V. C. V. de Paiva
Publication date: 28 January 2004
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/jigpal/8.1.7
68N18: Functional programming and lambda calculus
03F52: Proof-theoretic aspects of linear logic and other substructural logics
03B40: Combinatory logic and lambda calculus
Related Items
New Developments in Environment Machines, Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus, Resource operators for \(\lambda\)-calculus, Relating categorical semantics for intuitionistic linear logic