18 Jun
2008
18 Jun
'08
12:44 p.m.
On Jun 17, 2008, at 11:08 PM, Don Stewart wrote:
Haskell's type system is based on System F, the polymorphic lambda calculus. By the Curry-Howard isomorphism, this corresponds to second-order logic.
just nitpicking a little.... this should read "second-order propositional logic", right? daniel