haskell@haskell.org
[Top] [All Lists]

Re: [Haskell] Math behind Haskell

Subject: Re: [Haskell] Math behind Haskell
From: Don Stewart
Date: Sun, 23 Sep 2007 17:19:34 -0700
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
_______________________________________________
Haskell mailing list
Haskell@xxxxxxxxxxx
http://www.haskell.org/mailman/listinfo/haskell

<Prev in Thread] Current Thread [Next in Thread>