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 Summary Related Articles |
This paper is cited in the following contexts:
Linear Läuchli Semantics - Blute, Scott (Correct)
....( Furthermore the forgetful functor to RT VEC preserves the autonomous structure. 7 Functorial Polymorphism We shall give a further development of the theory of Functorial Polymorphism applied to linear logic, following [5, 9, 22] For other developments of the general theory, cf [16, 17]. Recall that in functorial polymorphism, the types of a calculus are interpreted directly as certain multivariant functors, while terms are an appropriate multivariant version of natural transformation known as a dinatural transformation: Definition 7.1 Let C be a category, and F; G : C op ....
P. J. Freyd, E.P. Robinson, and G. Rosolini, Functorial Parametricity, Proc. of Logic in Computer Science 1992, I.E.E.E.
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