scientific article; zbMATH DE number 1956511

MaRDI QIDQ4417857zbMATH OpenFDO

Authors Eduardo Bonelli

Publication date 30 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2620/26200153.htm

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Grammars and rewriting systems (68Q42)

Recommendations

• Normalisation for higher-order calculi with explicit substitutions
• A Theory of Explicit Substitutions with Safe and Full Composition
• The Theory of Calculi with Explicit Substitutions Revisited
• scientific article; zbMATH DE number 1342288
• Axiomatic rewriting theory II: the   -calculus enjoys finite normalisation cones

Cited in

(5)

• Normalisation for higher-order calculi with explicit substitutions
• scientific article; zbMATH DE number 2086241 (Why is no real title available?)
• A Theory of Explicit Substitutions with Safe and Full Composition
• The Theory of Calculi with Explicit Substitutions Revisited
• scientific article; zbMATH DE number 1015107 (Why is no real title available?)

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