A left-linear variant of

DOI10.1007/BFB0027013MaRDI QIDQ4364378zbMATH OpenFDO

Authors César A. Muñoz H.

Publication date 17 November 1997

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0027013

zbMATH Keywords

\(\lambda\)-calculi of explicit substitutionsopen expressions

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70)

Recommendations

• Explicit substitutions
• Linear explicit substitutions
• A -calculus with explicit weakening and explicit substitution
• Relating the   - and  s-styles of explicit substitutions

Cited in

(6)

• Confluence of extensional and non-extensional \(\lambda\)-calculi with explicit substitutions
• Higher order unification via explicit substitutions
• Dependent types and explicit substitutions: A meta-theoretical development
• The structural \(\lambda \)-calculus
• Linear explicit substitutions
• Relating the   - and  s-styles of explicit substitutions

This page was built for publication: A left-linear variant of \(\lambda\sigma\)

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