Axioms for the Theory of Lambda-Conversion

SIAM Journal on Computing 1985 / 05 Vol. 14; Iss. 2

Axioms for the Theory of Lambda-Conversion

Revesz, Gyorgy
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:
14
Language:
english
Journal:
SIAM Journal on Computing
DOI:
10.1137/0214028
Date:
May, 1985
File:
PDF, 1.11 MB
english, 1985
Conversion to is in progress
Conversion to is failed