Simply typed lambda calculus with first-class environments

DOI10.2977/PRIMS/1195164948zbMath0837.68012OpenAlexW2090435472MaRDI QIDQ1894315

Shin-ya Nishizaki

Publication date: 27 August 1995

Published in: Publications of the Research Institute for Mathematical Sciences, Kyoto University (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2977/prims/1195164948

zbMATH Keywords

lambda calculusexplicit substitution

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Formal languages and automata (68Q45) Theory of programming languages (68N15)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An abstract framework for environment machines
• Categorical combinators
• Explicit substitutions

This page was built for publication: Simply typed lambda calculus with first-class environments