Linear explicit substitutions

DOI10.1093/JIGPAL/8.1.7MaRDI QIDQ4444908zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(8)

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

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)