{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:11Z","timestamp":1761611171568,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540600176"},{"type":"electronic","value":"9783540494041"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0022267","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T06:12:29Z","timestamp":1132639949000},"page":"339-353","source":"Crossref","is-referenced-by-count":4,"title":["A sound metalogical semantics for input\/output effects"],"prefix":"10.1007","author":[{"given":"Roy L.","family":"Crole","sequence":"first","affiliation":[]},{"given":"Andrew D.","family":"Gordon","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,15]]},"reference":[{"key":"25_CR1","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1006\/inco.1993.1044","volume":"105","author":"S. Abramsky","year":"1993","unstructured":"Samson Abramsky and Luke Ong. Full abstraction in the lazy lambda calculus. Information and Computation 105:159\u2013267, 1993.","journal-title":"Information and Computation"},{"key":"25_CR2","doi-asserted-by":"crossref","unstructured":"Dave Berry, Robin Milner, and David N. Turner. A semantics for ML concurrency primitives. In 19th POPL, pages 119\u2013129, 1992.","DOI":"10.1145\/143165.143191"},{"key":"25_CR3","doi-asserted-by":"crossref","unstructured":"G\u00e9rard Boudol. Towards a lambda-calculus for concurrent and communicating systems. In TAPSOFT'89, Springer LNCS 351, 1989.","DOI":"10.1007\/3-540-50939-9_130"},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"Roy. L. Crole. Categories for Types. CUP, 1993.","DOI":"10.1017\/CBO9781139172707"},{"key":"25_CR5","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/0890-5401(92)90018-B","volume":"98","author":"R. L. Crole","year":"1992","unstructured":"Roy. L. Crole and A. M. Pitts. New foundations for fixpoint computations: FIX hyperdoctrines and the FIX-logic. Information and Computation, 98:171\u2013210, 1992.","journal-title":"Information and Computation"},{"key":"25_CR6","unstructured":"Roy L. Crole. Programming Metalogics with a Fixpoint Type. PhD thesis, University of Cambridge, 1992."},{"key":"25_CR7","volume-title":"Functional Programming","author":"R. L. Crole","year":"1994","unstructured":"Roy L. Crole and Andrew D. Gordon. Factoring an adequacy proof (preliminary report). In Functional Programming, Glasgow 1993, Springer 1994."},{"key":"25_CR8","unstructured":"Marcello P. Fiore and Gordon D. Plotkin. An Axiomatisation of Computationally Adequate Domain Theoretic Models of FPC. In 9th LICS, 1994."},{"key":"25_CR9","doi-asserted-by":"crossref","unstructured":"P. Freyd. Algebraically complete categories. In 1990 Como Category Theory Conference, Springer Lecture Notes in Mathematics, 1991.","DOI":"10.1007\/BFb0084215"},{"key":"25_CR10","unstructured":"Andrew D. Gordon. Functional Programming and Input\/Output. CUP, 1994."},{"key":"25_CR11","doi-asserted-by":"crossref","unstructured":"Andrew D. Gordon. An operational semantics for I\/O in a lazy functional language. In FPCA'93, pages 136\u2013145. 1993.","DOI":"10.1145\/165180.165199"},{"key":"25_CR12","doi-asserted-by":"crossref","unstructured":"Andrew D. Gordon. A tutorial on co-induction and functional programming. In Functional Programming, Glasgow 1994. Springer Workshops in Computing.","DOI":"10.1007\/978-1-4471-3573-9_6"},{"key":"25_CR13","unstructured":"S\u00f6ren Holmstr\u00f6m. PFL: A functional language for parallel programming. Report 7, Chalmers PMG. 1983."},{"key":"25_CR14","unstructured":"Douglas J. Howe. Equality in lazy computation systems. In 4th LICS, 1989."},{"key":"25_CR15","doi-asserted-by":"crossref","unstructured":"John McCarthy et al. LISP 1.5 Programmer's Manual. MIT Press, 1962.","DOI":"10.21236\/AD0406138"},{"key":"25_CR16","unstructured":"Robin Milner. Communication and Concurrency. Prentice-Hall, 1989."},{"key":"25_CR17","unstructured":"R. Milner, M. Tofte and R. Harper. The Definition of SML. MIT Press, 1990."},{"key":"25_CR18","doi-asserted-by":"crossref","unstructured":"Peter D. Mosses. Denotational semantics. In Jan Van Leeuven, editor, Handbook of Theoretical Computer Science, pages 575\u2013631. Elsevier 1990.","DOI":"10.1016\/B978-0-444-88074-1.50016-0"},{"key":"25_CR19","first-page":"55","volume":"93","author":"E. Moggi","year":"1989","unstructured":"Eugenio Moggi. Notions of computations and monads. TCS, 93:55\u201392, 1989.","journal-title":"TCS"},{"key":"25_CR20","first-page":"162","volume-title":"IVth Higher Order Workshop","author":"A. M. Pitts","year":"1991","unstructured":"Andrew M. Pitts. Evaluation logic. In IVth Higher Order Workshop, Banff 1990, pages 162\u2013189. Springer 1991."},{"key":"25_CR21","unstructured":"Andrew M. Pitts. Relational properties of domains. Tech. Report 321, University of Cambridge Computer Laboratory, December 1993."},{"key":"25_CR22","series-title":"LNCS 802","first-page":"72","volume-title":"MFPS IX","author":"A. M. Pitts","year":"1994","unstructured":"Andrew M. Pitts. Computational adequacy via \u2018mixed\u2019 inductive definitions. In MFPS IX, New Orleans 1993, pages 72\u201382, Springer LNCS 802, 1994."},{"key":"25_CR23","unstructured":"Gordon D. Plotkin. Pisa notes on domains, June 1978."},{"key":"25_CR24","volume-title":"Denotational semantics with partial functions","author":"G. D. Plotkin","year":"1985","unstructured":"Gordon D. Plotkin. Denotational semantics with partial functions. Stanford CSLI 1985."},{"issue":"12","key":"25_CR25","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1145\/15042.15043","volume":"21","author":"J. Rees","year":"1986","unstructured":"Jonathan Rees and William Clinger. Revised3 report on the algorithmic language scheme. ACM SIGPLAN Notices, 21(12):37\u201379, December 1986.","journal-title":"ACM SIGPLAN Notices"},{"key":"25_CR26","doi-asserted-by":"crossref","unstructured":"Philip Wadler. The essence of functional programming. In 19th POPL, 1992.","DOI":"10.1145\/143165.143169"},{"key":"25_CR27","doi-asserted-by":"crossref","unstructured":"John H. Williams and Edward L. Wimmers. Sacrificing simplicity for convenience: Where do you draw the line? In 15th POPL, 1988.","DOI":"10.1145\/73560.73575"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0022267","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T19:56:42Z","timestamp":1736107002000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022267"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540600176","9783540494041"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/bfb0022267","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}