[Haskell-cafe] Re: Higher order types via the Curry-Howard correspondence

[Stefan Holdermans]

Apfelmus,

>> System F is closest to Haskell and corresponds to a second order
>> intuitionistic propositional logic (?).
>
> Not propositional of course, but second-order indeed.

Not sure, what I meant there :-S. Please ignore it. You're right of  
course: second-order intuitionistic propositional logic it is :-).

(Sorry for adding confusion.)

Cheers,

   Stefan