scientific article; zbMATH DE number 1508928

MaRDI QIDQ4506392zbMATH OpenFDO

Authors Delia Kesner, Pablo E. Martínez-López

Publication date 18 September 2000

Full work available at URL http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1999/S99-02/S99-02.html

zbMATH Keywords

lambda calculussigma calculus

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 1222417
• Explicit substitutions
• scientific article; zbMATH DE number 1500649
• Explicit substitutions and higher-order syntax
• Term Rewriting and Applications
• On explicit substitutions and names (extended abstract)
• Explicit substitutions and reducibility
• Substituting strict equivalents
• Higher-order substitutions

Cited in

(5)

• On explicit substitution with names
• scientific article; zbMATH DE number 1222417 (Why is no real title available?)
• On explicit substitutions and names (extended abstract)
• scientific article; zbMATH DE number 1424036 (Why is no real title available?)
• Inter-deriving semantic artifacts for object-oriented programming

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