lambda calculus theory

[Hans N Beck]

Hi all,

I've recieved many help and comments. Thank you all !


Regards

Hans

Am 06.11.2005 um 15:53 schrieb Hans N Beck:

> Hi,
>
> 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)
>
> Regards
>
> Hans
> _______________________________________________
> Glasgow-haskell-users mailing list
> Glasgow-haskell-users at haskell.org
> http://www.haskell.org/mailman/listinfo/glasgow-haskell-users