scientific article; zbMATH DE number 1950453

MaRDI QIDQ4413069zbMATH OpenFDO

Authors Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama

Publication date 17 July 2003

Full work available at URL http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2002/S02-01/S02-01.html

zbMATH Keywords

lambda-beta-calculuslambda-kappa-epsilonsubstitution

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 1693043
• The lambda-context calculus (extended version)
• Simply typed lambda calculus with first-class environments
• scientific article; zbMATH DE number 1342289
• Explicit environments

Cited in

(8)

• Nominal unification
• Simply typed lambda calculus with first-class environments
• Explicit environments
• scientific article; zbMATH DE number 1693043 (Why is no real title available?)
• Functional programming with higher-order abstract syntax and explicit substitutions
• First-class contexts in ML
• A Logical Foundation for Environment Classifiers
• A typed context calculus

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