Logic in Computer Science (LICS 1994)

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

Authors: Eugenio Moggi

Abstract

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

BibTeX

  @InProceedings{Moggi-Ageneralsemanticsfo,
    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}
  }