%0 Conference Paper %1 journals/entcs/MyreenG09 %A Myreen, Magnus O. %A Gordon, Michael J. C. %B SBMF %D 2008 %E Machado, Patrícia D. L. %I Elsevier %K dblp %P 185-200 %T Transforming Programs into Recursive Functions. %U http://dblp.uni-trier.de/db/journals/entcs/entcs240.html#MyreenG09 %V 240

@inproceedings{journals/entcs/MyreenG09, added-at = {2023-03-09T00:00:00.000+0100}, author = {Myreen, Magnus O. and Gordon, Michael J. C.}, biburl = {https://www.bibsonomy.org/bibtex/2121bf294aca46f967da6999a1f934ef8/dblp}, booktitle = {SBMF}, crossref = {conf/sbmf/2008}, editor = {Machado, Patrícia D. L.}, ee = {https://doi.org/10.1016/j.entcs.2009.05.052}, interhash = {44df1d43f4e6f0b81bfca195b8f5486f}, intrahash = {121bf294aca46f967da6999a1f934ef8}, keywords = {dblp}, pages = {185-200}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T20:25:29.000+0200}, title = {Transforming Programs into Recursive Functions.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs240.html#MyreenG09}, volume = 240, year = 2008 }