@Inproceedings{EPTCS43.1, author = {Krauss, Alexander}, year = {2010}, title = {Recursive Definitions of Monadic Functions}, editor = {Bove, Ana and Komendantskaya, Ekaterina and Niqui, Milad}, booktitle = {{\rm Proceedings Workshop on} Partiality and Recursion in Interactive Theorem Provers, {\rm Edinburgh, UK, 15th July 2010}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {43}, publisher = {Open Publishing Association}, pages = {1-13}, doi = {10.4204/EPTCS.43.1}, }