[Haskell] Math behind Haskell

Don Stewart dons at galois.com
Sun Sep 23 20:19:34 EDT 2007

> 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

which might work the other direction.

-- Don

More information about the Haskell mailing list