Lambda-calculus terms that reduce to themselves

DOI10.1305/ndjfl/1093887539zbMath0324.02016OpenAlexW2009997478MaRDI QIDQ1224573

Bruce Lercher

Publication date: 1976

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093887539

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (4)

Highlights in infinitary rewriting and lambda calculus ⋮ The search for a reduction in combinatory logic equivalent to \(\lambda \beta\)-reduction. II. ⋮ Perpetual reductions in \(\lambda\)-calculus ⋮ Reduction graphs in the lambda calculus

This page was built for publication: Lambda-calculus terms that reduce to themselves