An Abstract Monadic Semantics for Value Recursion

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]

Authors

Eugenio Moggi

This author has not been identified. It may be one of the following persons: Look up 'Eugenio Moggi' in Google

Amr Sabry

This author has not been identified. Look up 'Amr Sabry' in Google