{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:30:25Z","timestamp":1729632625780,"version":"3.28.0"},"reference-count":38,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/lics.1998.705658","type":"proceedings-article","created":{"date-parts":[[2002,11,27]],"date-time":"2002-11-27T15:47:00Z","timestamp":1038412020000},"page":"214-225","source":"Crossref","is-referenced-by-count":12,"title":["A theory of recursive domains with applications to concurrency"],"prefix":"10.1109","author":[{"given":"G.L.","family":"Cattani","sequence":"first","affiliation":[]},{"given":"M.","family":"Fiore","sequence":"additional","affiliation":[]},{"given":"G.","family":"Winskel","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref38","first-page":"135","article-title":"Proarrows II","volume":"26","author":"wood","year":"1985","journal-title":"Cahiers Topologie G\ufffdom Diff\ufffdrentielle Cat\ufffdgoriques"},{"year":"0","key":"ref33"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/BF02924823"},{"key":"ref31","first-page":"111","article-title":"Fibrations in bicategories","volume":"21","author":"street","year":"1980","journal-title":"Cahiers Topologie G\ufffdom Diff\ufffdrentielle Cat\ufffdgoriques"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1137\/0211062"},{"key":"ref37","first-page":"1","volume":"4","author":"winskel","year":"1995","journal-title":"Handbook of Logic in Computer Science"},{"key":"ref36","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1007\/3-540-61604-7_50","article-title":"A presheaf semantics of value-passing processes (extended abstract)","volume":"1119","author":"winskel","year":"1996","journal-title":"Proceedings of the CONCUR'96 Conf"},{"volume":"1258","journal-title":"Proceedings of the CSL'96 Conf","year":"1997","key":"ref35"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/BF01200262"},{"key":"ref10","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1007\/BFb0084217","volume":"1488","author":"freyd","year":"1991","journal-title":"Category Theory"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1017\/CBO9780511525902.006","volume":"177","author":"freyd","year":"1992","journal-title":"Applications of Categories in Computer Science"},{"journal-title":"Informal proceedings of the Joint CLICS-TYPES Workshop on Categories and Type Theory","article-title":"Induction and coinduction via subset types and quotient types","year":"1995","author":"hermida","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(94)90069-8"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511752483"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"164","DOI":"10.1006\/inco.1996.0057","article-title":"Bisimulation from open maps","volume":"127","author":"joyal","year":"1996","journal-title":"Inform and Comput"},{"journal-title":"Basic Concepts of Enriched Category Theory","year":"1982","author":"kelly","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1090\/pspum\/017\/0257175"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/BF02924844"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1976.9"},{"key":"ref28","first-page":"97","article-title":"Continuous lattices","volume":"274","author":"scott","year":"1972","journal-title":"Toposes Algebraic Geometry and Logic"},{"key":"ref4","first-page":"106","article-title":"Presheaf models for the ?-calculus","volume":"1290","author":"cattani","year":"1997","journal-title":"Proc CTCS'97"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1996.0096"},{"volume":"50","journal-title":"Handbook of Categorical Algebra","year":"1994","author":"borceux","key":"ref3"},{"year":"0","key":"ref6"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129500000542"},{"year":"0","key":"ref5"},{"year":"0","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1996.0058"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129597002351"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1997.614954"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0036893"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/BF01752392"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/158511.158624"},{"journal-title":"Categories for the Working Mathematician","year":"1971","author":"maclane","key":"ref21"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1996.0052"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90014-0"},{"journal-title":"Workshop on Logic Domains and Programming Languages","article-title":"Algebraic completeness and compactness in an enriched setting","year":"1995","author":"plotkin","key":"ref26"},{"key":"ref25","first-page":"418","article-title":"A powerdomain for countable nondeterminism","author":"plotkin","year":"1982","journal-title":"Proceedings of the ICALP'82 Conf"}],"event":{"name":"13th Annual IEEE Symposium on Logic in Computer Science","acronym":"LICS-98","location":"Indianapolis, IN, USA"},"container-title":["Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx4\/5684\/15253\/00705658.pdf?arnumber=705658","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,1,18]],"date-time":"2018-01-18T19:07:32Z","timestamp":1516302452000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/705658\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":38,"URL":"https:\/\/doi.org\/10.1109\/lics.1998.705658","relation":{},"subject":[]}}