[PL-sem-jr] (no subject)

[Felix S Klock II]

All-

Some idle browsing over some google search results I had left open led 
to this message by Pawel Urzyczyn:

http://www.seas.upenn.edu/~sweirich/types/archive/1991/msg00054.html

It confirms that I was right in my suspicions about the ordering of the 
variables in that second lambda expression.

He also points out *why* this is significant for System F_omega: there 
were already known examples of terms that are "strongly normalizable" 
but not typable in System F, that *are* typable in F_omega.

-Felix

----
M$: the web browser industry (remember netscape?)