Ninth Annual IEEE Symposium on

Logic in Computer Science (LICS 1994)

Paper: A general semantics for Evaluation Logic (at LICS 1994)

Authors: Eugenio Moggi


The semantics of Evaluation Logic proposed by Moggi (1994) 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 satisfied by any topos, but not by the category of cpos. However, in the setting of Synthetic Domain Theory (J. Hyland, 1991) and (P.Taylor, 1991) it is possible to reconcile the needs of denotational semantics with those of logic


    author = 	 {Eugenio Moggi},
    title = 	 {A general semantics for Evaluation Logic},
    booktitle =  {Proceedings of the Ninth Annual IEEE Symp. on Logic in Computer Science, {LICS} 1994},
    year =	 1994,
    editor =	 {Samson Abramsky},
    month =	 {July}, 
    pages =      {353--362},
    location =   {Paris, France}, 
    publisher =	 {IEEE Computer Society Press}