%0 Journal Article %1 journals/tcs/BurrellCR14 %A Burrell, Mike %A Cockett, J. Robin B. %A Redmond, Brian F. %D 2014 %J Theor. Comput. Sci. %K dblp %P 19-45 %T Safe recursion revisited I: Categorical semantics for lower complexity. %U http://dblp.uni-trier.de/db/journals/tcs/tcs515.html#BurrellCR14 %V 515

@article{journals/tcs/BurrellCR14, added-at = {2017-08-22T00:00:00.000+0200}, author = {Burrell, Mike and Cockett, J. Robin B. and Redmond, Brian F.}, biburl = {https://www.bibsonomy.org/bibtex/271ad48b4ee1174cc7fa049c6f0752213/dblp}, ee = {https://doi.org/10.1016/j.tcs.2013.09.034}, interhash = {d7c685cb2debefa5712b5615d11e3e40}, intrahash = {71ad48b4ee1174cc7fa049c6f0752213}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, pages = {19-45}, timestamp = {2017-08-23T11:37:10.000+0200}, title = {Safe recursion revisited I: Categorical semantics for lower complexity.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs515.html#BurrellCR14}, volume = 515, year = 2014 }