Proving the genericity lemma by leftmost reduction is simple

DOI10.1007/3-540-59200-8_63zbMath1503.03027OpenAlexW1551154663MaRDI QIDQ5055836

Jan Kuper

Publication date: 9 December 2022

Published in: Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-59200-8_63

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cites Work

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

This page was built for publication: Proving the genericity lemma by leftmost reduction is simple