{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T19:41:35Z","timestamp":1725910895563},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319677286"},{"type":"electronic","value":"9783319677293"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-67729-3_3","type":"book-chapter","created":{"date-parts":[[2017,9,16]],"date-time":"2017-09-16T05:04:04Z","timestamp":1505538244000},"page":"32-50","source":"Crossref","is-referenced-by-count":7,"title":["The Delay Monad and Restriction Categories"],"prefix":"10.1007","author":[{"given":"Tarmo","family":"Uustalu","sequence":"first","affiliation":[]},{"given":"Niccol\u00f2","family":"Veltri","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,9,17]]},"reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"534","DOI":"10.1007\/978-3-662-54458-7_31","volume-title":"Foundations of Software Science and Computation Structures","author":"T Altenkirch","year":"2017","unstructured":"Altenkirch, T., Danielsson, N.A., Kraus, N.: Partiality, revisited: the partiality monad as a quotient inductive-inductive type. In: Esparza, J., Murawski, A.S. (eds.) FoSSaCS 2017. LNCS, vol. 10203, pp. 534\u2013549. Springer, Heidelberg (2017). doi:\n10.1007\/978-3-662-54458-7_31"},{"key":"3_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-3-642-03359-9_10","volume-title":"Theorem Proving in Higher Order Logics","author":"N Benton","year":"2009","unstructured":"Benton, N., Kennedy, A., Varming, C.: Some domain theory and denotational semantics in Coq. In: Berghofer, S., Nipkow, T., Urban, C., Wenzel, M. (eds.) TPHOLs 2009. LNCS, vol. 5674, pp. 115\u2013130. Springer, Heidelberg (2009). doi:\n10.1007\/978-3-642-03359-9_10"},{"issue":"1\u20132","key":"3_CR3","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1016\/S0304-3975(01)00243-2","volume":"294","author":"A Bucalo","year":"2003","unstructured":"Bucalo, A., F\u00fchrmann, C., Simpson, A.: An equational notion of lifting monad. Theor. Comput. Sci. 294(1\u20132), 31\u201360 (2003)","journal-title":"Theor. Comput. Sci."},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Capretta, V.: General recursion via coinductive types. Log. Methods Comput. Sci. 1(2), article 1 (2005)","DOI":"10.2168\/LMCS-1(2:1)2005"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Chapman, J., Uustalu, T., Veltri, N.: Quotienting the delay monad by weak bisimilarity. Math. Struct. Comput. Sci. (to appear)","DOI":"10.1007\/978-3-319-25150-9_8"},{"key":"3_CR6","unstructured":"Cockett, J.R.B., Guo, X.: Join restriction categories and the importance of being adhesive. Abstract of talk presented at CT 2007 (2007)"},{"issue":"1\u20132","key":"3_CR7","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/S0304-3975(00)00382-0","volume":"270","author":"JRB Cockett","year":"2002","unstructured":"Cockett, J.R.B., Lack, S.: Restriction categories I: categories of partial maps. Theor. Comput. Sci. 270(1\u20132), 223\u2013259 (2002)","journal-title":"Theor. Comput. Sci."},{"issue":"1\u20132","key":"3_CR8","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/S0304-3975(01)00245-6","volume":"294","author":"JRB Cockett","year":"2003","unstructured":"Cockett, J.R.B., Lack, S.: Restriction categories II: partial map classification. Theor. Comput. Sci. 294(1\u20132), 61\u2013102 (2003)","journal-title":"Theor. Comput. Sci."},{"issue":"4","key":"3_CR9","doi-asserted-by":"crossref","first-page":"775","DOI":"10.1017\/S0960129507006056","volume":"17","author":"JRB Cockett","year":"2007","unstructured":"Cockett, J.R.B., Lack, S.: Restriction categories III: colimits, partial limits, and extensivity. Math. Struct. Comput. Sci. 17(4), 775\u2013817 (2007)","journal-title":"Math. Struct. Comput. Sci."},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Danielsson, N.A.: Operational semantics using the partiality monad. In: Proceedings of 17th ACM SIGPLAN International Conference on Functional Programming, ICFP 2012, pp. 127\u2013138. ACM, New York (2012)","DOI":"10.1145\/2364527.2364546"},{"key":"3_CR11","unstructured":"\u00c9sik, Z., Goncharov, S.: Some remarks on Conway and iteration theories. arXiv preprint \narXiv:1603.00838\n\n (2016)"},{"key":"3_CR12","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/j.entcs.2015.12.012","volume":"319","author":"S Goncharov","year":"2015","unstructured":"Goncharov, S., Rauch, C., Schr\u00f6der, L.: Unguarded recursion on coinductive resumptions. Electron. Notes Theor. Comput. Sci. 319, 183\u2013198 (2015)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"3_CR13","unstructured":"Guo, X.: Products, joins, meets, and ranges in restriction categories. Ph.D. thesis, University of Calgary (2012)"},{"key":"3_CR14","series-title":"CPHS\/BCS Distinguished Dissertations","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0963-1","volume-title":"Extensional Constructs in Intensional Type Theory","author":"M Hofmann","year":"1997","unstructured":"Hofmann, M.: Extensional Constructs in Intensional Type Theory. CPHS\/BCS Distinguished Dissertations. Springer, London (1997). doi:\n10.1007\/978-1-4471-0963-1"},{"issue":"1","key":"3_CR15","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/0304-3975(94)00124-2","volume":"136","author":"PS Mulry","year":"1994","unstructured":"Mulry, P.S.: Partial map classifiers and partial cartesian closed categories. Theor. Comput. Sci. 136(1), 109\u2013123 (1994)","journal-title":"Theor. Comput. Sci."},{"key":"3_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/978-3-642-04652-0_5","volume-title":"Advanced Functional Programming","author":"U Norell","year":"2009","unstructured":"Norell, U.: Dependently typed programming in Agda. In: Koopman, P., Plasmeijer, R., Swierstra, D. (eds.) AFP 2008. LNCS, vol. 5832, pp. 230\u2013266. Springer, Heidelberg (2009). doi:\n10.1007\/978-3-642-04652-0_5"},{"issue":"2","key":"3_CR17","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/0890-5401(88)90034-X","volume":"79","author":"E Robinson","year":"1988","unstructured":"Robinson, E., Rosolini, G.: Categories of partial maps. Inf. Comput. 79(2), 95\u2013130 (1988)","journal-title":"Inf. Comput."},{"key":"3_CR18","unstructured":"Rosolini, G.: Continuity and effectiveness in topoi. DPhil. thesis, University of Oxford (1986)"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2017"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-67729-3_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,9,16]],"date-time":"2017-09-16T05:04:53Z","timestamp":1505538293000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-67729-3_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319677286","9783319677293"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-67729-3_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}