A lambda calculus with naive substitution

A lambda calculus with naive substitution

Staples, John
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
28
Language:
english
Journal:
Journal of the Australian Mathematical Society
DOI:
10.1017/s1446788700012210
Date:
November, 1979
File:
PDF, 606 KB
english, 1979
Conversion to is in progress
Conversion to is failed