scientific article; zbMATH DE number 1424037

MaRDI QIDQ4945227zbMATH OpenFDO

Authors Maribel Fernández, Ian Mackie

Publication date 1999

zbMATH Keywords

\(\lambda\)-calculuscalculus of explicit substitutionsclosed reductions

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Functional programming and lambda calculus (68N18)

Recommendations

• Explicit substitutions
• The power of closed reduction strategies
• scientific article; zbMATH DE number 1722651
• Higher-order substitutions
• ON STEPWISE EXPLICIT SUBSTITUTION

Cited in

(17)

• Safe operators: Brackets closed forever. Optimizing optimal -calculus implementations
• Lambda-calculus with director strings
• Encoding linear logic with interaction combinators
• On explicit substitution with names
• An upper bound for reduction sequences in the typed -calculus
• scientific article; zbMATH DE number 1722651 (Why is no real title available?)
• The power of closed reduction strategies
• Reduction and conversion strategies for the calculus of (co)inductive constructions. I
• scientific article; zbMATH DE number 176742 (Why is no real title available?)
• scientific article; zbMATH DE number 1303339 (Why is no real title available?)
• ON STEPWISE EXPLICIT SUBSTITUTION
• scientific article; zbMATH DE number 1953288 (Why is no real title available?)
• Reducibility Proofs in the λ-Calculus
• Explicit substitutions
• Explicit cyclic substitutions
• Resource operators for \(\lambda\)-calculus
• Gödel's system T revisited

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 Q4945227)