Linear explicit substitutions
From MaRDI portal
Publication:4444908
DOI10.1093/jigpal/8.1.7zbMath1033.03007OpenAlexW2080636971MaRDI 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
Functional programming and lambda calculus (68N18) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Combinatory logic and lambda calculus (03B40)
Related Items
Resource operators for \(\lambda\)-calculus ⋮ Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic ⋮ New Developments in Environment Machines ⋮ Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus ⋮ Relating categorical semantics for intuitionistic linear logic
