{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T02:54:22Z","timestamp":1649127262446},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2007,10,1]],"date-time":"2007-10-01T00:00:00Z","timestamp":1191196800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Front. Comput. Sc. China"],"published-print":{"date-parts":[[2007,10]]},"DOI":"10.1007\/s11704-007-0036-x","type":"journal-article","created":{"date-parts":[[2007,11,19]],"date-time":"2007-11-19T15:45:05Z","timestamp":1195487105000},"page":"373-384","source":"Crossref","is-referenced-by-count":1,"title":["Weakly distributive domains (II)"],"prefix":"10.1007","volume":"1","author":[{"given":"Ying","family":"Jiang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guo-Qiang","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"36_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(77)90053-6","volume":"4","author":"R. Milner","year":"1977","unstructured":"Milner R. Fully abstract models of typed \u03bb-calculi. Theoretical Computer Science, 1977, 4: 1\u201322","journal-title":"Theoretical Computer Science"},{"key":"36_CR2","unstructured":"Berry G. Mod\u00e8les compl\u00e8tement ad\u00e9quats et stables des lambdacalculs typ\u00e9s. Th\u00e8se de Doctorat d\u2019Etat, Universit\u00e9 Paris VII, 1979"},{"key":"36_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J. Y. Girard","year":"1987","unstructured":"Girard J Y. Linear logic. Theoretical Computer Science, 1987, 50: 1\u2013102","journal-title":"Theoretical Computer Science"},{"key":"36_CR4","doi-asserted-by":"crossref","first-page":"364","DOI":"10.1007\/BFb0013026","volume":"354","author":"G. Winskel","year":"1988","unstructured":"Winskel G. An introduction to event structures. Lecture Notes in Computer Science, 1988, 354: 364\u2013399","journal-title":"Lecture Notes in Computer Science"},{"key":"36_CR5","doi-asserted-by":"crossref","first-page":"344","DOI":"10.1007\/3-540-19020-1_18","volume":"298","author":"T. Coquand","year":"1987","unstructured":"Coquand T, Gunter C A, Winskel G. DI-domains as a model of polymorphism. Lecture Notes in Computer Science, 1987, 298: 344\u2013363","journal-title":"Lecture Notes in Computer Science"},{"key":"36_CR6","first-page":"7","volume":"9","author":"U. Reddy","year":"1996","unstructured":"Reddy U. Global state considered unnecessary: an introduction to object-based semantics. Higher-Order and Symbolic Computation, 1996, 9: 7\u201376","journal-title":"Higher-Order and Symbolic Computation"},{"key":"36_CR7","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/0304-3975(83)90095-6","volume":"27","author":"M. B. Smyth","year":"1983","unstructured":"Smyth M B. The largest cartesian closed category of domains. Theoretical Computer Science, 1983, 27: 109\u2013120","journal-title":"Theoretical Computer Science"},{"key":"36_CR8","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1016\/0304-3975(95)00191-3","volume":"166","author":"G. Q. Zhang","year":"1996","unstructured":"Zhang G Q. The largest cartesian closed category of stable domains. Theoretical Computer Science, 1996, 166: 203\u2013219","journal-title":"Theoretical Computer Science"},{"key":"36_CR9","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1007\/BFb0013454","volume":"530","author":"R. M. Amadio","year":"1991","unstructured":"Amadio R M. Bifinite domains: stable case. Lecture Notes in Computer Science, 1991, 530: 16\u201333","journal-title":"Lecture Notes in Computer Science"},{"key":"36_CR10","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0304-3975(93)90183-T","volume":"111","author":"M. Droste","year":"1993","unstructured":"Droste M. On stable domains. Theoretical Computer Science, 1993, 111: 89\u2013101","journal-title":"Theoretical Computer Science"},{"key":"36_CR11","doi-asserted-by":"crossref","first-page":"452","DOI":"10.1137\/0205035","volume":"5","author":"G. Plotkin","year":"1976","unstructured":"Plotkin G. A powerdomain construction. SIAM Journal on Computing, 1976, 5: 452\u2013487","journal-title":"SIAM Journal on Computing"},{"key":"36_CR12","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511983504","volume-title":"Domains and lambda-calculi","author":"R. M. Amadio","year":"1998","unstructured":"Amadio R M, Curien P L. Domains and lambda-calculi. Cambridge: Cambridge University Press, 1998"},{"key":"36_CR13","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/j.ic.2005.06.001","volume":"202","author":"G. Q. Zhang","year":"2005","unstructured":"Zhang G Q, Jiang Y. On a problem of Amadio and Curien: the finite antichain condition. Information and Computation, 2005, 202: 87\u2013103","journal-title":"Information and Computation"},{"key":"36_CR14","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1007\/978-3-540-73228-0_15","volume":"4583","author":"Y. Jiang","year":"2007","unstructured":"Jiang Y, Zhang G Q. Weakly distributive domains. In: Proceedings of TLCA. Lecture Notes in Computer Science, 2007, 4583: 194\u2013206","journal-title":"Proceedings of TLCA. Lecture Notes in Computer Science"},{"key":"36_CR15","volume-title":"Cartesian closed categories of stable domains for polymorphism","author":"M. Droste","year":"1991","unstructured":"Droste M. Cartesian closed categories of stable domains for polymorphism. Preprint, Universit\u00e4t GHS Essen, 1991"},{"key":"36_CR16","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511809088","volume-title":"Introduction to Lattices and Order","author":"B. A. Davey","year":"2002","unstructured":"Davey B A, Priestley H A. Introduction to Lattices and Order. Cambridge: Cambridge University Press, 2002"}],"container-title":["Frontiers of Computer Science in China"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-007-0036-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11704-007-0036-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-007-0036-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T17:00:44Z","timestamp":1559408444000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11704-007-0036-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10]]},"references-count":16,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2007,10]]}},"alternative-id":["36"],"URL":"https:\/\/doi.org\/10.1007\/s11704-007-0036-x","relation":{},"ISSN":["1673-7350","1673-7466"],"issn-type":[{"value":"1673-7350","type":"print"},{"value":"1673-7466","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,10]]}}}