{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:14:01Z","timestamp":1725664441843},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540601647"},{"type":"electronic","value":"9783540446613"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60164-3_24","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:48:40Z","timestamp":1330278520000},"page":"146-158","source":"Crossref","is-referenced-by-count":1,"title":["Lifting as a KZ-doctrine"],"prefix":"10.1007","author":[{"given":"Marcelo P.","family":"Fiore","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"9_CR1","unstructured":"R. Brown. Topology: a geometric account of general topology, homotopy types and the fundamental grupoid. Halsted Press, 1988."},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"A. Carboni, M.C. Pedicchio, and G. Rosolini, editors. Category Theory, volume 1488 of Lecture Notes in Mathematics. Springer-Verlag, 1991.","DOI":"10.1007\/BFb0084207"},{"key":"9_CR3","unstructured":"M. P. Fiore. Cpo-categories of partial maps. In CTCS-5 (Category Theory and Computer Science Fifth Biennial Meeting), pages 45\u201349. CWI, September 1993."},{"key":"9_CR4","unstructured":"M. P. Fiore. Axiomatic Domain Theory in Categories of Partial Maps. PhD thesis, University of Edinburgh, 1994. (Available as technical report ECS-LFCS-94-307 or from http:\/\/www.dcs.ed.ac.uk\/home\/mf\/thesis.dvi.Z)."},{"key":"9_CR5","unstructured":"M. P. Fiore. First steps on the representation of domains. Manuscript (available from http:\/\/www.dcs.ed.ac.uk\/home\/mf\/path.dvi), December 1994."},{"key":"9_CR6","unstructured":"M. P. Fiore. Order-enrichment for categories of partial maps. Mathematical Structures in Computer Science, 1994. To appear."},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"M.P. Fiore and G.D. Plotkin. An axiomatisation of computationally adequate domain theoretic models of FPC. In 9 th LICS Conference, pages 92\u2013102. IEEE, 1994.","DOI":"10.1109\/LICS.1994.316083"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"J.M.E. Hyland. First steps in synthetic domain theory. In [CPR91], pages 95\u2013104, 1991.","DOI":"10.1007\/BFb0084217"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"A. Kock. Monads on symmetric monoidal closed categories. Arch. Math. (Basel), pages 1\u201310, 1970.","DOI":"10.1007\/BF01220868"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"A. Kock. Algebras for the partial map classifier monad. In [CPR91], pages 262\u2013278, 1991.","DOI":"10.1007\/BFb0084225"},{"key":"9_CR11","unstructured":"A. Kock. Monads for which structures are adjoints to units. Manuscript (to appear in the Journal of Pure and Applied Algebra), 1994."},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"E. Moggi. Categories of partial morphisms and the partial lambda-calculus. In Proceedings Workshop on Category Theory and Computer Programming, Guildford 1985, volume 240 of Lecture Notes in Computer Science, pages 242\u2013251. Springer-Verlag, 1986.","DOI":"10.1007\/3-540-17162-2_126"},{"key":"9_CR13","unstructured":"W. Phoa. Domain Theory in Realizability Toposes. PhD thesis, University of Cambridge, 1990. (Also CST-82-91, University of Edinburgh)."},{"key":"9_CR14","unstructured":"G. Rosolini. Continuity and Effectiveness in Topoi. PhD thesis, University of Oxford, 1986."},{"key":"9_CR15","volume-title":"the Handbook of Algebra volume 2","author":"R. Street","year":"1992","unstructured":"R. Street. Categorical structures. Manuscript (to appear in the Handbook of Algebra volume 2, Elsevier, North Holland), November 1992."},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"P. Taylor. The fixed point property in synthetic domain theory. In 6 th LICS Conference, pages 152\u2013160. IEEE, 1991.","DOI":"10.1109\/LICS.1991.151640"}],"container-title":["Lecture Notes in Computer Science","Category Theory and Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60164-3_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:55:41Z","timestamp":1605646541000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60164-3_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540601647","9783540446613"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-60164-3_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}