P. J. Freyd, E.P. Robinson, and G. Rosolini, Functorial Parametricity, Proc. of Logic in Computer Science 1992, I.E.E.E.  Home/Search   Document Not in Database   Context   Related Articles

This paper is cited by the following papers:

Linear Läuchli Semantics - Blute, Scott   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC