[Haskell-cafe] Re: How did you stumble on Haskell?
Chung-chieh Shan
ccshan at post.harvard.edu
Mon Jan 29 19:33:36 EST 2007
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
More information about the Haskell-Cafe
mailing list