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 _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
