Functional completeness of the mixed \(\lambda\)-calculus and combinatory logic
From MaRDI portal
Publication:750415
DOI10.1016/0304-3975(90)90155-BzbMath0714.03014OpenAlexW2138472690MaRDI QIDQ750415
Hanne Riis Nielson, Flemming Nielson
Publication date: 1990
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(90)90155-b
Related Items (1)
Cites Work
This page was built for publication: Functional completeness of the mixed \(\lambda\)-calculus and combinatory logic