3 ms·
Personally I prefer this introduction by Barendregt (his books on Lambda calculus are really good): ftp://ftp.cs.ru.nl/pub/CompMath.Found/lambda.pdf
by solidangle 10y ago
Personally I prefer this introduction by Barendregt (his books on Lambda calculus are really good):
ftp://ftp.cs.ru.nl/pub/CompMath.Found/lambda.pdf