[Haskell-cafe] Tutorial: Curry-Howard Correspondence

Andrea Rossato mailing_list at istitutocolli.org
Wed Oct 17 05:47:28 EDT 2007

On Tue, Oct 16, 2007 at 08:03:52PM -1000, Tim Newsham wrote:
>  A tutorial on the Curry-Howard Correspondence in Haskell:
>    http://www.thenewsh.com/%7Enewsham/formal/curryhoward/
>  Feedback appreciated.

Very clear and useful for me. Thank you for sharing it.

More information about the Haskell-Cafe mailing list