The discrimination theorem holds for combinatory weak reduction

DOI10.1016/0304-3975(79)90019-7zbMath0418.03011OpenAlexW1980739743MaRDI QIDQ755570

Roger Hindley

Publication date: 1979

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

Full work available at URL: https://doi.org/10.1016/0304-3975(79)90019-7

zbMATH Keywords

combinatory weak reductiondiscrimination theorem

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (1)

Effective applicative structures

Cites Work

• Unnamed Item
• A discrimination algorithm inside \(\lambda -\beta\)-calculus

This page was built for publication: The discrimination theorem holds for combinatory weak reduction