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

\(\lambda\)-calculusexplicit substitutionfunctional programminglinear logic

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

(10)

• Relating categorical semantics for intuitionistic linear logic
• Sublinear exaves
• scientific article; zbMATH DE number 1088030 (Why is no real title available?)
• scientific article; zbMATH DE number 1500649 (Why is no real title available?)
• Explicit substitutions
• New developments in environment machines
• Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus
• Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic
• 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)