lambda calculus theory

Hans N Beck hnbeck at t-online.de
Sun Nov 6 09:53:38 EST 2005


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


More information about the Glasgow-haskell-users mailing list