[Haskell-cafe] Re: How did you stumble on Haskell?

[Chung-chieh Shan]

Bob Davison <bob__davison at hotmail.com> wrote in article <BAY128-F353383B46812462CFFC1E4C8A70 at phx.gbl> in gmane.comp.lang.haskell.cafe:
> This leads me off thread to ask if anyone could recommend reading for 
> someone who has done mathematics to college level, but nearly 30 years ago 
> when many English schools didn't cover 20th century mathematics.  I thought 
> calculus was about differentiation and integration and was very surprised to 
> discover that there were such things as 'predicate calculus', 'propositional 
> calculus', and various flavours of 'lambda calculus'.  I also have little or 
> no idea of set theory, group theory, domain theory, combinatory logic, ...  

How about "The Haskell Road to Logic, Maths and Programming" by Kees
Doets and Jan van Eijck (http://homepages.cwi.nl/~jve/HR/), reviewed by
Ralf Lämmel (http://arxiv.org/abs/cs/0512096)?

-- 
Edit this signature at http://www.digitas.harvard.edu/cgi-bin/ken/sig
Earth???s crammed with heaven,
And every common bush afire with God;
But only he who sees, takes off his shoes;
The rest sit round it and pluck blackberries. ??? Elizabeth B. Browning