[Haskell-cafe] lambda calculus and equational logic

Patrick Browne patrick.browne at dit.ie
Wed Jul 7 04:56:08 EDT 2010

In Haskell what roles are played by 1)lambda calculus and 2) equational
logic? Are these roles related?

Hopefully this question can be answered at a level suitable for this forum.


This message has been scanned for content and viruses by the DIT Information Services E-Mail Scanning Service, and is believed to be clean. http://www.dit.ie

More information about the Haskell-Cafe mailing list