lambda calculus theory

Hans N Beck hnbeck at
Tue Nov 8 00:39:20 EST 2005

Hi all,

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



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

More information about the Glasgow-haskell-users mailing list