S.Martini: Bounded quantifiers have interval models, ACM Conference on Lisp and Functional Programming Languages, Snowbird, Utah. 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)
....to the approach in [Bruce Longo 89] The advantage is given by the construction of a model of the current rich kind and type theory. The power operation is expressed in terms of quasi functors, a weak notion of categorical transformation between categories, widely used in several settings. See [Martini 88] for recent applications to the semantics of the l calculus. This interpretation is due to the blend of set theoretical and categorical intuition at the base of the current model of subtyping in a higher order language. Quasi functors take morphisms to sets of morphisms which behave consistently ....
S.Martini: Bounded quantifiers have interval models, ACM Conference on Lisp and Functional Programming Languages, Snowbird, Utah.
A semantic basis for Quest - Luca Cardelli Giuseppe (1990) (40 citations) (Correct)
....in [Bruce Longo 89] The advantage is given by the construction of a model of the current rich kind and type theory. Page 29 The power operation is expressed in terms of quasi functors, a weak notion of categorical transformation between categories, widely used in several settings. See [Martini 88] for recent applications to the semantics of the l calculus. This interpretation is due to the blend of set theoretical and categorical intuition at the base of the current model of subtyping in a higher order language. Quasi functors take morphisms to sets of morphisms which behave consistently ....
S.Martini: Bounded quantifiers have interval models, ACM Conference on Lisp and Functional Programming Languages, Snowbird, Utah.
A semantic basis for Quest - Cardelli, Longo (1990) (40 citations) (Correct)
....to the approach in [Bruce Longo 89] The advantage is given by the construction of a model of the current rich kind and type theory. The power operation is expressed in terms of quasi functors, a weak notion of categorical transformation between categories, widely used in several settings. See [Martini 88] for recent applications to the semantics of the l calculus. This interpretation is due to the blend of set theoretical and categorical intuition at the base of the current model of subtyping in a higher order language. Quasi functors take morphisms to sets of morphisms which behave consistently ....
S.Martini: Bounded quantifiers have interval models, ACM Conference on Lisp and Functional Programming Languages, Snowbird, Utah.
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