changeset 202 | 7cfc83879fc9 |
parent 186 | 455411d69c12 |
child 233 | e0a7ee9842d6 |
--- a/Paper/document/root.bib Tue Feb 26 23:44:57 2013 +0000 +++ b/Paper/document/root.bib Wed Feb 27 01:32:53 2013 +0000 @@ -1,4 +1,13 @@ - +@inproceedings{Krauss10, + author = {A.~Krauss}, + title = {{R}ecursive {D}efinitions of {M}onadic {F}unctions}, + booktitle = {Proc.~of the Workshop on Partiality and Recursion in Interactive + Theorem Provers}, + year = {2010}, + pages = {1-13}, + series = {EPTCS}, + volume = {43} +} @PhdThesis{Myreen09, author = {M.~O.~Myreen},