[TYPES] Parametricity for F-omega

[takeuti at is.sci.toho-u.ac.jp]

Dear Sirs,

Linger wrote:
> Is there a parametricity theorem for F-omega?  

I wrote a paper on this topic and submitted it to a journal.
I put the preprint on the web page. Please visit and download:

	http://www.m.is.sci.toho-u.ac.jp/~takeuti/abs-e.html#cube
	http://www.m.is.sci.toho-u.ac.jp/~takeuti/art/cube.ps.gz

or the mirror:

	http://www.sato.kuis.kyoto-u.ac.jp/~takeuti/abs-e.html#cube
	http://www.sato.kuis.kyoto-u.ac.jp/~takeuti/art/cube.ps.gz

Yours faithfully,

Takeuti Izumi
Toho Univ.
takeuti at is.sci.toho-u.ac.jp