[Haskell] Math behind Haskell

[Fritz Ruehr]

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

On Sun 23 Sep 07, at 2:24 pm, Tomas Caithaml wrote:

> Any suggestion what could be relevant? I came up with:
>  * Lambda calculus - the basis of functional languages
>  * Category theory - ...
>  * Topology (?) - ...