[Haskell] Re: lambda calculus theory
Malcolm Wallace
Malcolm.Wallace at cs.york.ac.uk
Mon Nov 7 08:44:54 EST 2005
"Marc A. Ziegert" <coeus at gmx.de> writes:
> > 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
More information about the Glasgow-haskell-users
mailing list