![](/img/cover-not-exists.png)
A lambda calculus with naive substitution
Staples, JohnVolume:
28
Language:
english
Journal:
Journal of the Australian Mathematical Society
DOI:
10.1017/s1446788700012210
Date:
November, 1979
File:
PDF, 606 KB
english, 1979