Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

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


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: