Explicit environments

MaRDI QIDQ2708319zbMATH OpenFDO

Authors Masahiko Sato, Takafumi Sakurai, Rod Burstall

Publication date 17 April 2001

Published in Fundamenta Informaticae (Search for Journal in Brave)

zbMATH Keywords

confluenceconservativitysimply typed lambda calculussubject reductionstrong normalizabilityexplicit environments

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18)

Recommendations

• Simply typed lambda calculus with first-class environments
• scientific article; zbMATH DE number 1693043
• Explicit substitutions
• scientific article; zbMATH DE number 1950453

Cited in

(13)

• scientific article; zbMATH DE number 1342289 (Why is no real title available?)
• The Korrigan environment
• A polymorphic environment calculus and its type-inference algorithm
• Simply typed lambda calculus with first-class environments
• The lambda-context calculus (extended version)
• An action environment
• scientific article; zbMATH DE number 2172811 (Why is no real title available?)
• Rod Burstall: in memoriam (1934--2025)
• Counting environments and closures
• scientific article; zbMATH DE number 1950453 (Why is no real title available?)
• Constructing Vague Environment
• Two-level lambda-calculus
• Functional programming with higher-order abstract syntax and explicit substitutions

This page was built for publication: Explicit environments

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2708319)