\(\lambda_{\beta'}\) -- a \(\lambda\)-calculus with a generalized \(\beta\)-reduction rule

DOI10.1016/0020-0190(94)00225-NzbMath0875.68216OpenAlexW2259789127MaRDI QIDQ1349744

Sundeep Oberoi

Publication date: 27 February 1997

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(94)00225-n

zbMATH Keywords

Lambda calculusTheory of computationBeta reductionUnordered currying

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Cites Work

• The lambda calculus, its syntax and semantics
• Unnamed Item
• Unnamed Item

This page was built for publication: \(\lambda_{\beta'}\) -- a \(\lambda\)-calculus with a generalized \(\beta\)-reduction rule