{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,7]],"date-time":"2026-10-07T04:40:45Z","timestamp":1791348045442,"version":"4.3.1"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540565963","type":"print"},{"value":"9783540475958","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56596-5_44","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T06:18:18Z","timestamp":1330237098000},"page":"457-476","source":"Crossref","is-referenced-by-count":6,"title":["A hyperdoctrinal view of concurrent constraint programming"],"prefix":"10.1007","author":[{"given":"Prakash","family":"Panangaden","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Vijay","family":"Saraswat","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"P. J.","family":"Scott","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"R. A. G.","family":"Seely","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"issue":"3","key":"19_CR1","doi-asserted-by":"crossref","first-page":"841","DOI":"10.1145\/322326.322339","volume":"29","author":"K.R Apt","year":"1982","unstructured":"K.R Apt and M.H. van Emden. Contributions to the theory of logic programming. JACM, 29(3):841\u2013862, 1982.","journal-title":"JACM"},{"key":"19_CR2","unstructured":"M. Barr and C. Wells. Category Theory for Computing Science. prentice-Hall, 1990."},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"G. Berry and G. Boudol. The chemical abstract machine. In Proceedings of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, pages 81\u201394. ACM, 1990.","DOI":"10.1145\/96709.96717"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"G. Boudol. Towards a lambda-calculus for concurrent and communicating systems. In J. Diaz, editor, TAPSOFT 89, Lecture Notes in Computer Science 351, pages 149\u2013161. Springer-Verlag, 1989.","DOI":"10.1007\/3-540-50939-9_130"},{"key":"19_CR5","volume-title":"A compendium of continuous lattices","year":"1980","unstructured":"G. Gierz, K.H. Hoffman, K. Keimel, J.D.Lawson, M.Mislove, and D.S.Scott, editors. A compendium of continuous lattices. Springer-Verlag Berlin Heidelberg New York, 1980."},{"key":"19_CR6","unstructured":"Leon Henkin, J. Donald Monk, and Alfred Tarski. Cylindric Algebras (Part I). North Holland Publishing Company, 1971."},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"J. M. E. Hyland and A. M. Pitts. The theory of constructions: Categorical semantics and topos-theoretic models. In Categories in Computer Science and Logic, pages 137\u2013199. AMS, 1987. AMS Contemporary Mathematics Series 92.","DOI":"10.1090\/conm\/092\/1003199"},{"key":"19_CR8","unstructured":"B. Jacobs. Fibrations. Submitted to Mathematical Structures in Computer Science, 1991."},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"R. Jagadeesan and P. Panangaden. A domain-theoretic model of a higher-order process calculus. In M. Paterson, editor, Proceedings of the 17th International Colloquium on Automata Languages and Programming, pages 181\u2013194. Springer-Verlag, 1990. Lecture Notes in Computer Science 443.","DOI":"10.1007\/BFb0032031"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"R. Jagadeesan, P. Panangaden, and K. Pingali. A fully abstract semantics for a functional language with logic variables. In Proceedings of IEEE Symposium on Logic in Computer Science, pages 294\u2013303, 1989.","DOI":"10.1109\/LICS.1989.39184"},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"R. Jagadeesan and K. Pingali. A higher order functional language with logic variables. In Proceedings of the Nineteenth Annual ACM Symposium on Principles of Programming Languages, 1992.","DOI":"10.1145\/143165.143236"},{"key":"19_CR12","unstructured":"Peter Johnstone. Stone Spaces, volume 3 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, 1982."},{"issue":"4","key":"19_CR13","first-page":"993","volume":"23","author":"G. Kahn","year":"1977","unstructured":"G. Kahn. The semantics of a simple language for parallel programming. In Information Processing 74, pages 993\u2013998. North-Holland, 1977. [14] R.A. Kowalski and M.H. van Emden. The semantics of predicate logic as a programming language. Journal of the ACM, 23(4):733-742, 1976.","journal-title":"Journal of the ACM"},{"key":"19_CR14","doi-asserted-by":"crossref","first-page":"869","DOI":"10.1073\/pnas.50.5.869","volume":"50","author":"F. W. Lawvere","year":"1963","unstructured":"F. W. Lawvere. Functorial semantics of algebraic theories. Proc. Nat. Acad. Sci. U.S.A., 50:869\u2013872, 1963.","journal-title":"Proc. Nat. Acad. Sci. U.S.A."},{"key":"19_CR15","unstructured":"D. Pavlovi\u0107. Predicates and Fibrations. PhD thesis, University of Amsterdam, 1991."},{"key":"19_CR16","unstructured":"V. Saraswat. Concurrent Constraint Programming Languages. PhD thesis, Carnegie-Mellon University, 1989. To appear Doctoral Dissertation Award and Logic Programming Series, MIT Press."},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"V. Saraswat. The category of constraint systems is cartesian closed. In Seventh Annual IEEE Symposium On Logic In Computer Science, 1992.","DOI":"10.1109\/LICS.1992.185546"},{"key":"19_CR18","doi-asserted-by":"crossref","unstructured":"Vijay Saraswat and Martin Rinard. Concurrent constraint programming. In Proceedings of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, pages 232\u2013245, 1990.","DOI":"10.1145\/96709.96733"},{"key":"19_CR19","doi-asserted-by":"crossref","unstructured":"Vijay Saraswat, Martin Rinard, and Prakash Panangaden. Semantic foundations of concurrent constraint programming. In Proceedings of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, 1991.","DOI":"10.1145\/99583.99627"},{"issue":"3","key":"19_CR20","doi-asserted-by":"crossref","first-page":"522","DOI":"10.1137\/0205037","volume":"5","author":"D. Scott","year":"1976","unstructured":"D. Scott. Data types as lattices. SIAM Journal of Computing, 5(3):522\u2013587, 1976.","journal-title":"SIAM Journal of Computing"},{"key":"19_CR21","doi-asserted-by":"crossref","unstructured":"D. S. Scott. Domains for denotational semantics. In Ninth International Colloquium On Automata Languages And Programming. Springer-Verlag, 1982. Lecture Notes In Computer Science 140.","DOI":"10.1007\/BFb0012801"},{"key":"19_CR22","doi-asserted-by":"crossref","first-page":"505","DOI":"10.1002\/malq.19830291005","volume":"29","author":"R. A. G. Seely","year":"1983","unstructured":"R. A. G. Seely. Hyperdoctrines, natural deduction and the beck conditions. Zeitschr. f. math. Logik und Grundlagen d. Math., 29:505\u2013542, 1983.","journal-title":"Zeitschr. f. math. Logik und Grundlagen d. Math."},{"issue":"4","key":"19_CR23","doi-asserted-by":"crossref","first-page":"969","DOI":"10.2307\/2273831","volume":"52","author":"R. A. G. Seely","year":"1987","unstructured":"R. A. G. Seely. Categorical semantics for higher-order polymorphic lambda calculus. J. Symb. Logic, 52(4):969\u2013989, 1987.","journal-title":"J. Symb. Logic"}],"container-title":["Lecture Notes in Computer Science","Semantics: Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56596-5_44.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:04:40Z","timestamp":1605629080000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56596-5_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540565963","9783540475958"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-56596-5_44","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993]]}}}