scientific article; zbMATH DE number 1088030

MaRDI QIDQ4364378zbMATH OpenFDO

Authors César A. Muñoz H.

Publication date 17 November 1997

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:

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