Eugenio Moggi, Amr Sabry. An Abstract Monadic Semantics for Value Recursion. In Zoltán Ésik, Igor Walukiewicz, editors, FICS '03 - Fixed Points in Computer Science, Proceedings of an International Workshop, Warsaw, Poland, April 12-13, 2003. pages 64-79, University of Warsaw, 2003. [doi]
@inproceedings{MoggiS03,
title = {An Abstract Monadic Semantics for Value Recursion},
author = {Eugenio Moggi and Amr Sabry},
year = {2003},
url = {http://cs.ioc.ee/fics-archive/fics03-proceedings.pdf#page=69},
researchr = {https://researchr.org/publication/MoggiS03},
cites = {0},
citedby = {0},
pages = {64-79},
booktitle = {FICS '03 - Fixed Points in Computer Science, Proceedings of an International Workshop, Warsaw, Poland, April 12-13, 2003},
editor = {Zoltán Ésik and Igor Walukiewicz},
publisher = {University of Warsaw},
}