Re: [Haskell] Math behind Haskell

fruehr:

Mathematical logic would be a good thing to study if you haven't already, especially if you can take something as specific as intuitionistic / constructive / substructural logic. The Curry-Howard correspondence lurks underneath a lot of Haskell intuitions and techniques.

-- Fritz

See also The Haskell Road to Logic, Maths and Programming http://www.cwi.nl/~jve/HR which might work the other direction. -- Don