![](/img/cover-not-exists.png)
Functional completeness of the mixed λ-calculus and combinatory logic
Hanne Riis Nielson, Flemming NielsonVolume:
70
Year:
1990
Language:
english
Pages:
28
DOI:
10.1016/0304-3975(90)90155-b
File:
PDF, 2.58 MB
english, 1990