A.Pitts: Polymorphism is Set theoretic, constructively, Symposium on Category Theory and Comp. Sci., SLNCS 283 (Pitts et al. eds.), Edinburgh. Page 51 Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A semantic basis for Quest - Cardelli, Longo (1990) (40 citations) (Correct)
....(see below for the cartesian closure) The embedding D above preserves exponents and limits. Moreover, one may embed w Set into Eff by a functor which preserves limits and the lCCC structure. By this, the present approach applies in a simple set theoretic framework the results in [Hyland 87] Pitts 87] Hyland Pitts 87] Carboni Freyd Scedrov 87] and [Bainbridge Freyd Scedrov Scott 87] The general treatment of models, as internal categories of categories with finite limits, which was suggested by Moggi, is given in [Asperti Martini 89] and [Asperti Longo 90] The elegant presentation in ....
....cartesian closure) The embedding D above preserves exponents and limits. Moreover, one may embed w Set into Eff by a functor which preserves limits and the lCCC structure. By this, the present approach applies in a simple set theoretic framework the results in [Hyland 87] Pitts 87] Hyland Pitts 87] Carboni Freyd Scedrov 87] and [Bainbridge Freyd Scedrov Scott 87] The general treatment of models, as internal categories of categories with finite limits, which was suggested by Moggi, is given in [Asperti Martini 89] and [Asperti Longo 90] The elegant presentation in [Meseguer 88] ....
A.Pitts: Polymorphism is Set theoretic, constructively, Symposium on Category Theory and Comp. Sci., SLNCS 283 (Pitts et al. eds.), Edinburgh. Page 51
A semantic basis for Quest - Luca Cardelli Giuseppe (1990) (40 citations) (Correct)
....for the cartesian closure) The embedding D above preserves exponents and limits. Moreover, one may embed w Set into Eff by a functor which preserves limits and the lCCC structure. Page 25 By this, the present approach applies in a simple set theoretic framework the results in [Hyland 87] Pitts 87] Hyland Pitts 87] Carboni Freyd Scedrov 87] and [Bainbridge Freyd Scedrov Scott 87] The general treatment of models, as internal categories of categories with finite limits, which was suggested by Moggi, is given in [Asperti Martini 89] and [Asperti Longo 90] The elegant presentation in ....
....closure) The embedding D above preserves exponents and limits. Moreover, one may embed w Set into Eff by a functor which preserves limits and the lCCC structure. Page 25 By this, the present approach applies in a simple set theoretic framework the results in [Hyland 87] Pitts 87] Hyland Pitts 87] Carboni Freyd Scedrov 87] and [Bainbridge Freyd Scedrov Scott 87] The general treatment of models, as internal categories of categories with finite limits, which was suggested by Moggi, is given in [Asperti Martini 89] and [Asperti Longo 90] The elegant presentation in [Meseguer 88] ....
A.Pitts: Polymorphism is Set theoretic, constructively, Symposium on Category Theory and Comp. Sci., SLNCS 283 (Pitts et al. eds.), Edinburgh.
A semantic basis for Quest - Cardelli, Longo (1990) (40 citations) (Correct)
....(see below for the cartesian closure) The embedding D above preserves exponents and limits. Moreover, one may embed w Set into Eff by a functor which preserves limits and the lCCC structure. By this, the present approach applies in a simple set theoretic framework the results in [Hyland 87] Pitts 87] Hyland Pitts 87] Carboni Freyd Scedrov 87] and [Bainbridge Freyd Scedrov Scott 87] The general treatment of models, as internal categories of categories with finite limits, which was suggested by Moggi, is given in [Asperti Martini 89] and [Asperti Longo 90] The elegant presentation in ....
....cartesian closure) The embedding D above preserves exponents and limits. Moreover, one may embed w Set into Eff by a functor which preserves limits and the lCCC structure. By this, the present approach applies in a simple set theoretic framework the results in [Hyland 87] Pitts 87] Hyland Pitts 87] Carboni Freyd Scedrov 87] and [Bainbridge Freyd Scedrov Scott 87] The general treatment of models, as internal categories of categories with finite limits, which was suggested by Moggi, is given in [Asperti Martini 89] and [Asperti Longo 90] The elegant presentation in [Meseguer 88] ....
A.Pitts: Polymorphism is Set theoretic, constructively, Symposium on Category Theory and Comp. Sci., SLNCS 283 (Pitts et al. eds.), Edinburgh.
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