Eugenio Moggi  Home/Search
Context Related
| disi.unige.it/person/Moggi...elt3.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: disi.unige.it/pers...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The semantics of Evaluation Logic proposed in [14] relies on additional properties of monads. This paper proposes an alternative semantics, which drops all additional requirement on monads, at the expense of stronger assumptions on the underlying category. These assumptions are satis ed by any topos, but not by the category of cpos. However, in the setting of Synthetic Domain Theory (see [7, 23]) it is possible to reconcile the needs of Denotational Semantics with those of Logic. 1... (Update)
Context of citations to this paper: More
.... those properties which are more interesting in relation to SDT , Axiomatic Domain Theory (see [Fre91, Sim92] and Evaluation Logic (see [Mog94]) 1.1 Summary of main de nitions and results This section summarizes the main de nitions and results, but for the sake of simplicity...
...for logicians) to get acquainted with new logics and develop good proof strategies. On the other hand, Evaluation Logic EL T (see [Mog94b, Mog94a]) is a straightforward extension of Higher Order Logic HOL, where the dependencies from a programming language are con ned to...
Cited by: More
Names, Equations, Relations: Practical Ways to Reason about new .. - Stark (1997) (Correct)
Names, Equations, Relations: Practical Ways to Reason about `new' - Stark (1997) (Correct)
Names, Equations, Relations: Practical Ways to Reason about new - Stark (1996) (Correct)
Active bibliography (related documents): More All
0.6: The S-replete construction - Hyland, Moggi (1995) (Correct)
0.5: A Note on SDT in Filter Spaces - Moggi (1993) (Correct)
0.4: Domains in H - Fiore, Rosolini (Correct)
Similar documents based on text: More All
0.4: Monads and Effects (revised) - Benton, Hughes, Moggi (2000) (Correct)
0.3: A Categorical Analysis of Multi-Level Languages (Extended.. - Benaissa, al. (Correct)
0.3: Monads and Effects - Benton, Hughes, Moggi (2000) (Correct)
Related documents from co-citation: More All
7: Observable properties of higher order functions that dynamically create local na.. - Pitts, Stark - 1993
5: Information and Computation (context) - Moggi, computation - 1991
4: local variables and operational reasoning (context) - Mason, Talcott - 1992
BibTeX entry: (Update)
Eugenio Moggi. A general semantics for evaluation logic. In Proceedings of Ninth Annual IEEE Symposium on Logic in Computer Science, pages 353--362, July 1994. http://citeseer.ist.psu.edu/article/moggi94general.html More
@inproceedings{ moggi94general,
author = "Eugenio Moggi",
title = "A General Semantics for Evaluation Logic",
booktitle = "Proceedings, Ninth Annual {IEEE} Symposium on Logic in Computer Science",
publisher = "IEEE Computer Society Press",
pages = "353--362",
year = "1994",
url = "citeseer.ist.psu.edu/article/moggi94general.html" }
Citations (may not include all citations):369 Information and Computation (context) - Moggi, computation - 1991
150 Edinburgh LCF: A Mechanized Logic of Computation (context) - Gordon, Milner et al. - 1979
106 Observable properties of higher order functions that dynamic.. - Pitts, Stark - 1993
46 Relational parametricity and local variables (context) - O'Hearn, Tennent - 1993
45 First steps in synthetic domain theory (context) - Hyland - 1991
34 Categorical Type Theory (context) - Jacobs - 1991
31 Categories of continuous functors (context) - Freyd, Kelly - 1972
29 A category-theoretic account of program modules - Moggi - 1991
23 Information and Computation (context) - Honsell, Mason et al.
21 Extensional pers (context) - Freyd, Mulry et al. - 1990
20 Heldermann Verlag (context) - Herrlich, Strecker - 1979
15 A type-theoretic alternative to CUCH (context) - Scott - 1969
11 A semantics for evaluation logic (context) - Moggi - 1994
10 Constructive natural deduction and its modest interpretation (context) - Longo, Moggi - 1991
6 The xed point property in synthetic domain theory (context) - Taylor - 1991
6 Technical Report ECS-LFCS (context) - Phoa, to et al. - 1992
6 Topos-theoretic approaches to modalities (context) - Reyes, Zolfaghari - 1991
5 Fibred categories and the foundation of naive category theor.. (context) - Benabou - 1985
5 ective domains and intrinsic structure (context) - Phoa - 1990
3 Are there topoi in topology (context) - Wyler - 1976
3 The discrete objects in the e ective topos (context) - Hyland, Robinson et al. - 1990
3 An exper model for quest (context) - Rosolini - 1992
1 Available via FTP from theory (context) - Moggi, in et al. - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.disi.unige.it/person/MoggiE/publications.html): More
The Partial Lambda-Calculus - Moggi (1988) (Correct)
Domains and Denotational Semantics: History, Accomplishments and.. - (Ed.) (1996) (Correct)
Typed Intermediate Languages for Shape-Analysis - Bellè, Moggi (1997) (Correct)
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