scientific article; zbMATH DE number 1693043

MaRDI QIDQ2763701zbMATH OpenFDO

Authors Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama

Publication date 22 January 2002

zbMATH Keywords

contextssimply typed \(\lambda\)-calculussubstitution

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• scientific article; zbMATH DE number 1950453
• Simply typed lambda calculus with first-class environments
• A typed context calculus
• scientific article; zbMATH DE number 1377610
• Programming Languages and Systems
• A polymorphic environment calculus and its type-inference algorithm
• The simply typed rewriting calculus
• Ambient calculi with types: A tutorial
• Types for the ambient calculus

Cited in

(7)

• The lambda-context calculus (extended version)
• Simply typed lambda calculus with first-class environments
• Explicit environments
• The \(\lambda\)-context calculus
• scientific article; zbMATH DE number 1950453 (Why is no real title available?)
• A polymorphic environment calculus and its type-inference algorithm
• 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 Q2763701)