{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T08:29:14Z","timestamp":1648628954632},"reference-count":7,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2015,8,8]],"date-time":"2015-08-08T00:00:00Z","timestamp":1438992000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Order"],"published-print":{"date-parts":[[2016,7]]},"DOI":"10.1007\/s11083-015-9366-8","type":"journal-article","created":{"date-parts":[[2015,8,7]],"date-time":"2015-08-07T05:16:15Z","timestamp":1438924575000},"page":"289-298","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Cartesian Closed Subcategories of CON T \u226a \u2217 $CONT_{\\ll }^{{\\kern 8pt}\\ast }$"],"prefix":"10.1007","volume":"33","author":[{"given":"Xiaoyong","family":"Xi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qingyu","family":"He","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhijun","family":"Lu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,8,8]]},"reference":[{"key":"9366_CR1","volume-title":"Cartesian closed categories of domains","author":"A Jung","year":"1989","unstructured":"Jung, A.: Cartesian closed categories of domains. CWI Tracts, 66, Centrum voor Wiskunde en Informatica, Amsterdam (1989)"},{"key":"9366_CR2","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1007\/3-540-08860-1_7","volume":"62","author":"G Berry","year":"1978","unstructured":"Berry, G.: Stable models of typed \u03bb-calculi. Lect. Notes Comput. Sci. 62, 72\u201388 (1978)","journal-title":"Lect. Notes Comput. Sci."},{"key":"9366_CR3","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0166-8641(97)00222-8","volume":"89","author":"W Michael","year":"1998","unstructured":"Michael, W.: Mislove, Topology, domain theory and theoretical computer science. Topol. Its Appl. 89, 3\u201359 (1998)","journal-title":"Topol. Its Appl."},{"key":"9366_CR4","doi-asserted-by":"crossref","first-page":"452","DOI":"10.1137\/0205035","volume":"5","author":"GD Plotkin","year":"1976","unstructured":"Plotkin, G.D., A powerdomain construction. SIAM J. Comp. 5, 452\u2013487 (1976)","journal-title":"SIAM J. Comp."},{"key":"9366_CR5","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/0304-3975(83)90095-6","volume":"27","author":"MB Smyth","year":"1983","unstructured":"Smyth, M.B.: The largest Cartesian closed category of domains. Theor. Comput. Sci. 27, 109\u2013119 (1983)","journal-title":"Theor. Comput. Sci."},{"key":"9366_CR6","doi-asserted-by":"crossref","unstructured":"Xi, X., Li, Y.: Exponentials in a Cartesian closed category which contians all algerbaic domains. Appl. Categ. Struct., 105 (2014)","DOI":"10.1007\/s10485-014-9378-3"},{"key":"9366_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.ins.2003.06.006","volume":"168","author":"Z Yang","year":"2004","unstructured":"Yang, Z.: A Cartisan closed subcategory of CONT which contains all continuous Domains. Inform. Sci. 168, 1\u20137 (2004)","journal-title":"Inform. Sci."}],"container-title":["Order"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11083-015-9366-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11083-015-9366-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11083-015-9366-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,29]],"date-time":"2019-08-29T00:17:20Z","timestamp":1567037840000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11083-015-9366-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8,8]]},"references-count":7,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2016,7]]}},"alternative-id":["9366"],"URL":"https:\/\/doi.org\/10.1007\/s11083-015-9366-8","relation":{},"ISSN":["0167-8094","1572-9273"],"issn-type":[{"value":"0167-8094","type":"print"},{"value":"1572-9273","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,8,8]]}}}