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

• Explicit substitutions for objects and functions
• Explicit substitutions
• Explicit substitutions and programming languages
• 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
• Explicit substitutions for objects and functions
• On explicit substitutions and names (extended abstract)
• Using fields and explicit substitutions to implement objects and functions in a de Bruijn setting
• 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)