X. Gouy & Y. Jiang, Universal retractions on DI-domains, Information and Computation, 119, no 2, 1995, p. 252-257. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Isomorphismes Et Théories équationnelles Des.. - Bastonero (Correct)
....sont les suivantes : 1. On montre que toute hypercoh erence r eflexive est un i mod ele fortement stable. 2. Nous montrons que tous les i mod eles fortement stables contiennent une infinit e de r etractions universelles. Autrement dit ils sont tous des mod eles de la th eorie RU1 introduite dans [16]. 3. On montre la d efinissabilit e uniforme de l ordre par une formule de la logique du premier ordre, a partir de la seule application, dans tous les DIC r eflexifs. Puis on en d eduit un crit ere d isomorphisme fort (l existence d un isomorphisme applicatif, fortement stable et dont l inverse ....
....r etraction universelle [7] Ces mod eles sont des mod eles de la th eorie p introduite dans [1] Dans [3] on trouve le premier mod ele de cette th eorie. Celui ci est construit construit dans la cat egorie r eguli ere des domaines stables bifinis et des fonctions stables. Enfin r ecemment dans [16] il est montr e que tout DI domaine r eflexif contient une infinit e de r etractions universelles, appel ees ae n , et donc tous les objets de cette classe sont des mod eles de la th eorie RU1 introduite dans ce meme article. Le but de cette section est de montrer que tout i mod ele fortement ....
[Article contains additional citation context not shown here]
X. Gouy & Y. Jiang, Universal retractions on DI-domains, Information and Computation, 119, no 2, 1995, p. 252-257.
Building continuous webbed models for System F - Berardi, Berline (2000) (1 citation) (Correct)
.... a universal nitary projection (Types; is isomorphic to (types; 6) When c is a universal closure (Types; is isomorphic to (types; 6) 27 Universal projections or closures are necessarily unique, but there is an in nite number of universal retractions, at least in the stable semantics (cf. [17]) 30 However, when c is a universal nitary retraction, r 7 rM is not 1 1, and there is no way to put an order on Types which would make Types an homomorphic image of types: This justi es the choice of a more general variant of the de nition of polymax in the present paper. Notations. In the ....
Y. Jiang and X. Gouy, Universal retractions on dI-domains, Information and Computation, vol.119, n 2; p.252-257, 1995.
Building continuous webbed models for System F - Berardi, Berline (1998) (1 citation) (Correct)
.... g : All r s are nitary, hence each rM is a Scott domain, when ordered with the restriction of the order on M; and is a sub p:o: of T erms: 27 Universal projections or closures are necessarily unique, but there is an innite number of universal retractions, at least in the stable semantics (cf. [17]) 27 Thus irj plays the role of iD and irMj that of XD , in the denition of polymax models Remark. When c is a universal nitary projection (Types; is isomorphic to (types; 6) When c is a universal closure (Types; is in bijection with (types; 6) However, when c is a universal nitary ....
Y. Jiang and X. Gouy, Universal retractions on dI-domains, Information and Computation, vol.119, n ffi 2; p.252-257, 1995.
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