[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