G. Rosolini. An exper model for quest. In S. Brookes, editor, Mathematical Foundations of Programming Semantics, LNCS. Springer-Verlag, 1992. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A General Semantics for Evaluation Logic - Moggi (1994) (4 citations) (Correct)
....the assumptions for the new semantics of EL T , whenever one starts from a semantics of PL in D 1 given via translation into a metalanguage for Denotational Semantics. Remark 5. 2 In the literature there are several ways of constructing D from C: the category of complete extensional PERs of [3, 21]) the category of complete spaces of [16] the category of replete objects (see [7, 23] Example 5.3 We show that the category ExP of complete extensional PERs can be turned into a full re ective sub bration of Set bered over itself. Consider the small category PER of partial ....
G. Rosolini. An exper model for quest. In S. Brookes, editor, Mathematical Foundations of Programming Semantics, LNCS. Springer-Verlag, 1992.
Domains and Denotational Semantics: History, Accomplishments and.. - (Ed.) (1996) (1 citation) (Correct)
....important criterion about properties of functors in a model of SDT (see [Hyl91, Ros95] By pursuing the SDT approach in the setting of realizability toposes it is easy to model both polymorphism and recursive definitions. The first such model was based on complete extensional PERs (see [FMRS90, Ros92] More recently, John Longley investigated a variety of realizability models for SDT (see [Lon95] Some of these models do not satisfy the axioms for Sigma proposed by Hyland and others. However, Longley and Simpson have proposed weaker axioms for Sigma and a different category of domains: ....
G. Rosolini. An exper model for Quest. In S. Brookes, M. Main, A. Melton, M. Mislove, and D. Schmidt, editors, Mathematical Foundations of Programming Semantics, volume 598 of Lecture Notes in Computer Science, pages 436--445. Springer Verlag, 1992.
Domains in H - Fiore, Rosolini Self-citation (Rosolini) (Correct)
....notions of approximation and passage to the limit with respect to which all functions will be continuous. Various suggestions for the notion of domain (typically within a set theoretic universe given by an elementary topos with natural numbers object [17] appeared in the literature, e.g. in [11, 26, 10, 23, 20, 16]. All these notions support the constructions needed in denotational semantics, e.g. sums, products, exponentials, lifting, fixed point operators and, in the studied models, also the solution of recursive domain equations. In [8] the authors introduced two Grothendieck toposes, H and H 2 , and ....
....ambient topos embodies some internal computational universe and, as a consequence, all functions between domain like objects are intrinsically continuous. In the literature there are at least four related suggestions for selecting the objects in the topos which are to be thought of as domains, see [10, 11, 12, 15, 16, 22, 23, 26]. They all concentrate on abstracting peculiar properties of Sigma: they range from asking as many as possible (repleteness) to as few as acceptable (well completeness) In all the various cases, it is guaranteed that the chosen domains are closed under the action of the monad of computations. We ....
G. Rosolini. An ExPER model for QUEST. In S. Brookes, editor, Mathematical Foundations of Programming Semantics, volume 598 of Lectures Notes in Computer Science, Pittsburgh, 1992. Springer-Verlag.
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