@article{DBLP:journals/fuin/Moggi95,
  author       = {Eugenio Moggi},
  title        = {A Semantics for Evaluation Logic},
  journal      = {Fundam. Informaticae},
  volume       = {22},
  number       = {1/2},
  pages        = {117--152},
  year         = {1995},
  url          = {https://doi.org/10.3233/FI-1995-22126},
  doi          = {10.3233/FI-1995-22126},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Moggi95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"n224kWxGt8R7CiTkd","bibbaseid":"moggi-asemanticsforevaluationlogic-1995","author_short":["Moggi, E."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Eugenio"],"propositions":[],"lastnames":["Moggi"],"suffixes":[]}],"title":"A Semantics for Evaluation Logic","journal":"Fundam. Informaticae","volume":"22","number":"1/2","pages":"117–152","year":"1995","url":"https://doi.org/10.3233/FI-1995-22126","doi":"10.3233/FI-1995-22126","timestamp":"Fri, 18 Sep 2020 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/fuin/Moggi95.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/fuin/Moggi95,\n author = {Eugenio Moggi},\n title = {A Semantics for Evaluation Logic},\n journal = {Fundam. Informaticae},\n volume = {22},\n number = {1/2},\n pages = {117--152},\n year = {1995},\n url = {https://doi.org/10.3233/FI-1995-22126},\n doi = {10.3233/FI-1995-22126},\n timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/fuin/Moggi95.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Moggi, E."],"key":"DBLP:journals/fuin/Moggi95","id":"DBLP:journals/fuin/Moggi95","bibbaseid":"moggi-asemanticsforevaluationlogic-1995","role":"author","urls":{"Paper":"https://doi.org/10.3233/FI-1995-22126"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://dblp.org/pid/m/EugenioMoggi.bib","dataSources":["zeiEuBHe8CqDz9x5h"],"keywords":[],"search_terms":["semantics","evaluation","logic","moggi"],"title":"A Semantics for Evaluation Logic","year":1995}