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

13 May 2007


      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

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

Stefan Holdermans