Linear explicit substitutions

DOI10.1093/JIGPAL/8.1.7zbMATH Open1033.03007OpenAlexW2080636971MaRDI QIDQ4444908FDOQ4444908

Authors: Neil Ghani, Eike Ritter, Valeria de Paiva 

Publication date: 28 January 2004

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/8.1.7

Recommendations

• Explicit substitutions
• scientific article; zbMATH DE number 1500649
• Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus
• scientific article; zbMATH DE number 1088030
• scientific article; zbMATH DE number 1223735

zbMATH Keywords

functional programminglinear logic\(\lambda\)-calculusexplicit substitution

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Functional programming and lambda calculus (68N18)

Cited In (8)

• Explicit substitutions
• New Developments in Environment Machines
• Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic
• Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus
• Relating categorical semantics for intuitionistic linear logic
• Sublinear exaves
• Exponentials as substitutions and the cost of cut elimination in linear logic
• Resource operators for \(\lambda\)-calculus

This page was built for publication: Linear explicit substitutions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4444908)