7 Nov
2005
7 Nov
'05
1:44 p.m.
"Marc A. Ziegert"
I'm searching for a good mathematical oriented introduction to the theory of lambda calculus or other theoretical foundations of Lisp/ Haskell, i.e. monads or such (of course in the web there are much hints, but what is the best for mathematicans foreign to this field)
i'm searching for such lectures/papers/scripts, too.
The classic textbook on lambda calculus is The Lambda Calculus: Its Syntax and Semantics. Henk Barendregt. (Hardback, Elsevier, 1981) (Paperback, North Holland, Amsterdam, 1987) http://www.cs.ru.nl/~henk/ http://www.andrew.cmu.edu/user/cebrown/notes/barendregt.html Regards, Malcolm