Burrell, Mike
Cockett, Robin
Redmond, Brian
Funding for this research was provided by:
National Science and Engineering Research Council (NSERC) of Canada
Pacific Institute of Mathematical Sciences (PIMS)
This article is maintained by: Elsevier
Article Title: Safe recursion revisited I: Categorical semantics for lower complexity
Journal Title: Theoretical Computer Science
CrossRef DOI link to publisher maintained version: https://doi.org/10.1016/j.tcs.2013.09.034
Content Type: article
Copyright: Copyright © 2013 Elsevier B.V. All rights reserved.