[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)



More information about the Glasgow-haskell-users mailing list