{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,1]],"date-time":"2024-06-01T22:40:06Z","timestamp":1717281606475},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2014,8,27]],"date-time":"2014-08-27T00:00:00Z","timestamp":1409097600000},"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":["Appl Categor Struct"],"published-print":{"date-parts":[[2015,10]]},"DOI":"10.1007\/s10485-014-9378-3","type":"journal-article","created":{"date-parts":[[2014,8,26]],"date-time":"2014-08-26T02:44:29Z","timestamp":1409021069000},"page":"665-672","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Exponentials in a Cartesian Closed Category Which Contains all Algebraic Domains"],"prefix":"10.1007","volume":"23","author":[{"given":"Xiaoyong","family":"Xi","sequence":"first","affiliation":[]},{"given":"Yongming","family":"Li","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,8,27]]},"reference":[{"key":"9378_CR1","doi-asserted-by":"crossref","unstructured":"Abramsky, S., Jung, A.: Domain theory. In: Abramsky, S., Gabbay, D.M., Maibaum, T.S.E (eds.) Handbook of Logic in Computer Science, vol. 3, pp 1\u2013168. Clarendon Press (1994)","DOI":"10.1093\/oso\/9780198537625.003.0001"},{"key":"9378_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":"9378_CR3","doi-asserted-by":"crossref","first-page":"2661","DOI":"10.1016\/j.ins.2008.01.016","volume":"178","author":"Y Chen","year":"2008","unstructured":"Chen, Y., Wu, H.: Domain semantics of possibility computations. Inf. Sci. 178, 2661\u20132679 (2008)","journal-title":"Inf. Sci."},{"key":"9378_CR4","volume-title":"Continuous Lattices and Domains","author":"G Gierz","year":"2002","unstructured":"Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M., Scott, D.S.: Continuous Lattices and Domains. Cambridge Press, Cambridge (2002)"},{"key":"9378_CR5","volume-title":"Handbook of Theoretical Computer Science, vol. B","author":"G Gunter","year":"1990","unstructured":"Gunter, G., Scott, D.S.: Semantic domains. In: Van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, vol. B. Elsevier Science, Amsterdam (1990)"},{"key":"9378_CR6","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/j.ins.2004.04.001","volume":"171","author":"N Liu","year":"2006","unstructured":"Liu, N., Li, S.: Cartesian closed stable categories. Inform. Sci. 171, 173\u2013187 (2006)","journal-title":"Inform. Sci."},{"key":"9378_CR7","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0166-8641(97)00222-8","volume":"89","author":"MW Mislove","year":"1998","unstructured":"Mislove, M.W.: Topology, domain theory and theoretical computer science. Topolology Appl. 89, 3\u201359 (1998)","journal-title":"Topolology Appl."},{"key":"9378_CR8","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":"9378_CR9","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":"9378_CR10","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. Inf. Sci. 168, 1\u20137 (2004)","journal-title":"Inf. Sci."}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-014-9378-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10485-014-9378-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-014-9378-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,1]],"date-time":"2024-06-01T22:19:36Z","timestamp":1717280376000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10485-014-9378-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8,27]]},"references-count":10,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2015,10]]}},"alternative-id":["9378"],"URL":"https:\/\/doi.org\/10.1007\/s10485-014-9378-3","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,8,27]]}}}