{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,20]],"date-time":"2026-07-20T21:53:35Z","timestamp":1784584415614,"version":"3.55.0"},"reference-count":25,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":4215,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[2002,1]]},"DOI":"10.1016\/s0304-3975(00)00382-0","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T06:05:14Z","timestamp":1027577114000},"page":"223-259","source":"Crossref","is-referenced-by-count":113,"title":["Restriction categories I: categories of partial maps"],"prefix":"10.1016","volume":"270","author":[{"given":"J.R.B.","family":"Cockett","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Stephen","family":"Lack","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"key":"10.1016\/S0304-3975(00)00382-0_BIB1","volume":"vol. 189","author":"Ad\u00e1mek","year":"1994"},{"key":"10.1016\/S0304-3975(00)00382-0_BIB2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0022-4049(89)90160-6","article-title":"Two-dimensional monad theory","volume":"59","author":"Blackwell","year":"1989","journal-title":"J. Pure Appl. Algebra"},{"key":"10.1016\/S0304-3975(00)00382-0_BIB3","first-page":"281","volume":"vol. 1290","author":"Bucalo","year":"1997"},{"key":"10.1016\/S0304-3975(00)00382-0_BIB4","first-page":"111","article-title":"Bicategories of partial maps","volume":"28","author":"Carboni","year":"1987","journal-title":"Cah. de Top. Geom. Diff."},{"key":"10.1016\/S0304-3975(00)00382-0_BIB5","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1016\/0022-4049(93)90035-R","article-title":"Introduction to extensive and distributive categories","volume":"84","author":"Carboni","year":"1993","journal-title":"J. Pure Appl. Algebra"},{"key":"10.1016\/S0304-3975(00)00382-0_BIB6","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1017\/S0960129500000232","article-title":"Introduction to distributive categories","volume":"3","author":"Cockett","year":"1993","journal-title":"Math. Structures Comput. Sci."},{"key":"10.1016\/S0304-3975(00)00382-0_BIB7","unstructured":"J.R.B. Cockett, Copy Categories, unpublished manuscript, 1995."},{"key":"10.1016\/S0304-3975(00)00382-0_BIB8","doi-asserted-by":"crossref","unstructured":"J.R.B. Cockett, S. Lack, Restriction categories II: partial map classification, Theoret. Comput. Sci., to appear.","DOI":"10.1016\/S0304-3975(01)00245-6"},{"key":"10.1016\/S0304-3975(00)00382-0_BIB9","unstructured":"J.R.B. Cockett, S. Lack, Restriction categories III: partial structures, in preparation."},{"key":"10.1016\/S0304-3975(00)00382-0_BIB10","doi-asserted-by":"crossref","first-page":"595","DOI":"10.2307\/2274352","article-title":"Dominical categories: recursion theory without elements","volume":"52","author":"Di Paola","year":"1987","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0304-3975(00)00382-0_BIB11","unstructured":"M. Fiore, Axiomatic domain theory in categories of partial maps, Ph.D. Thesis, University of Edinburgh, 1994."},{"key":"10.1016\/S0304-3975(00)00382-0_BIB12","author":"Grillet","year":"1995"},{"key":"10.1016\/S0304-3975(00)00382-0_BIB13","volume":"vol. 12","author":"Howie","year":"1995"},{"key":"10.1016\/S0304-3975(00)00382-0_BIB14","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0168-0072(94)90020-5","article-title":"Semantics of weakening and contraction","volume":"69","author":"Jacobs","year":"1994","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1016\/S0304-3975(00)00382-0_BIB15","doi-asserted-by":"crossref","unstructured":"B. Jay, Partial functions, ordered categories, limits and cartesian closure, in: G. Birtwhistle (Ed.), IV Higher Order Workshop, Banff 1990, Workshops in Computing, Springer, Berlin, 1991.","DOI":"10.1007\/978-1-4471-3182-3_10"},{"key":"10.1016\/S0304-3975(00)00382-0_BIB16","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/0022-4049(93)90092-8","article-title":"Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads","volume":"89","author":"Kelly","year":"1993","journal-title":"J. Pure Appl. Algebra"},{"key":"10.1016\/S0304-3975(00)00382-0_BIB17","unstructured":"S. Lack, The algebra of distributive and extensive categories, Ph.D. Thesis, Cambridge University, 1995."},{"key":"10.1016\/S0304-3975(00)00382-0_BIB18","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/0304-3975(92)90176-G","article-title":"Partial map classifiers and partial cartesian closed categories","volume":"99","author":"Mulry","year":"1992","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0304-3975(00)00382-0_BIB19","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/0304-3975(94)00124-2","article-title":"Monads and algebras in the semantics of partial data types","volume":"136","author":"Mulry","year":"1994","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0304-3975(00)00382-0_BIB20","volume":"vol. 802","author":"Mulry","year":"1994"},{"key":"10.1016\/S0304-3975(00)00382-0_BIB21","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/S1571-0661(04)00026-X","article-title":"Syntactic control of interference revisited","volume":"1","author":"O'Hearn","year":"1995","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"10.1016\/S0304-3975(00)00382-0_BIB22","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1016\/0890-5401(88)90034-X","article-title":"Categories of partial maps","volume":"79","author":"Robinson","year":"1988","journal-title":"Inform. Comput."},{"key":"10.1016\/S0304-3975(00)00382-0_BIB23","first-page":"387","article-title":"Domains and dominical categories","volume":"11","author":"Rosolini","year":"1985","journal-title":"Riv. Mat. Univ. Parma"},{"key":"10.1016\/S0304-3975(00)00382-0_BIB24","unstructured":"G. Rosolini, Continuity and effectiveness in topi, D.Phil Thesis, Oxford University, 1986."},{"key":"10.1016\/S0304-3975(00)00382-0_BIB25","first-page":"111","article-title":"Fibrations in bicategories","volume":"XXI-2","author":"Street","year":"1980","journal-title":"Cahiers de Topologie et G\u00e9om. Differentielle"}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397500003820?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397500003820?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T06:23:22Z","timestamp":1556864602000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0304397500003820"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,1]]},"references-count":25,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2002,1]]}},"alternative-id":["S0304397500003820"],"URL":"https:\/\/doi.org\/10.1016\/s0304-3975(00)00382-0","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[2002,1]]}}}