lambda calculus theory

Hans N Beck hnbeck at
Sun Nov 6 09:53:38 EST 2005


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)



More information about the Glasgow-haskell-users mailing list