Reduction graphs in the lambda calculus

DOI10.1016/0304-3975(84)90002-1zbMath0538.03011OpenAlexW2043705873MaRDI QIDQ792994

Marisa Venturini Zilli

Publication date: 1984

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(84)90002-1

zbMATH Keywords

spectrumlambda calculusreduction graphs of lambda terms

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items

Open problems in rewriting ⋮ More problems in rewriting ⋮ The combinator M and the Mockingbird lattice ⋮ One-step recurrent terms in \(\lambda\)-\(\beta\)-calculus ⋮ Orders, reduction graphs and spectra

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The lambda calculus, its syntax and semantics
• Lambda-calculus terms that reduce to themselves
• Varieties of ordered algebras
• Parallel concepts in graph theory
• Infinite graphs—A survey