E.S. Bainbridge, P. Freyd , A. Scedrov, and P. J. Scott. Functorial Polymorphism: Preliminary Report, Logical Foundations of Functional Programming, G. Huet, ed., Addison Wesley (1990), pp. 315-327. 22 Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Normal Forms and Cut-Free Proofs as Natural Transformations - Girard, Scedrov, Scott (1992) (4 citations) Self-citation (Scedrov Scott) (Correct)
....variable x of type oe , are then interpreted as certain multivariant ( dinatural ) transformations between (the interpretations of) the types. The resultant calculus has many interesting properties [2, 7] despite the fact that in general dinatural transformations do not compose. Previous studies [2, 3, 8] emphasized semantical (compositional) models for this calculus; in this paper we prove that the pure (cut free) syntax itself admits a compositional dinatural interpretation. We briefly review this functorial interpretation, following [2] Section 3. In this paper we emphasize the ccc connectives ....
E.S. Bainbridge, P. Freyd , A. Scedrov, and P. J. Scott. Functorial Polymorphism: Preliminary Report, Logical Foundations of Functional Programming, G. Huet, ed., Addison Wesley (1990), pp. 315-327. 22
Normal Forms and Cut-Free Proofs as Natural Transformations - Girard, Scedrov, Scott (1992) (4 citations) Self-citation (Bainbridge Scedrov Scott) (Correct)
....variable x of type oe , are then interpreted as certain multivariant ( dinatural ) transformations between (the interpretations of) the types. The resultant calculus has many interesting properties [2, 7] despite the fact that in general dinatural transformations do not compose. Previous studies [2, 3, 8] emphasized semantical (compositional) models for this calculus; in this paper we prove that the pure (cut free) syntax itself admits a compositional dinatural interpretation. We briefly review this functorial interpretation, following [2] Section 3. In this paper we emphasize the ccc connectives ....
E.S. Bainbridge, P. Freyd , A. Scedrov, and P. J. Scott. Functorial Polymorphism: Preliminary Report, Logical Foundations of Functional Programming, G. Huet, ed., Addison Wesley (1990), pp. 315-327.
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