{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T05:20:37Z","timestamp":1776316837283,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540749141","type":"print"},{"value":"9783540749158","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74915-8_40","type":"book-chapter","created":{"date-parts":[[2007,8,24]],"date-time":"2007-08-24T05:13:35Z","timestamp":1187932415000},"page":"542-557","source":"Crossref","is-referenced-by-count":11,"title":["Continuous Previsions"],"prefix":"10.1007","author":[{"given":"Jean","family":"Goubault-Larrecq","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"40_CR1","first-page":"1","volume-title":"Handbook of Logic in Computer Science","author":"S. Abramsky","year":"1994","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.\u00a03, pp. 1\u2013168. Oxford University Press, Oxford (1994)"},{"issue":"4","key":"40_CR2","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1051\/ita:2004016","volume":"38","author":"N. Ghani","year":"2004","unstructured":"Ghani, N., Uustalu, T.: Coproducts of ideal monads. Theoretical Informatics and Applications\u00a038(4), 321\u2013342 (2004)","journal-title":"Theoretical Informatics and Applications"},{"key":"40_CR3","volume-title":"Encyclopedia of Mathematics and its Applications","author":"G. Gierz","year":"2003","unstructured":"Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M., Scott, D.S.: Continuous lattices and domains. In: Encyclopedia of Mathematics and its Applications, vol.\u00a093, Cambridge University Press, Cambridge (2003)"},{"key":"40_CR4","unstructured":"Gilboa, I., Schmeidler, D.: Additive representation of non-additive measures and the Choquet integral. Discussion Papers 985, Northwestern University, Center for Mathematical Studies in Economics and Management Science (1992)"},{"key":"40_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"764","DOI":"10.1007\/978-3-540-73420-8_66","volume-title":"ICALP 2007","author":"J. Goubault-Larrecq","year":"2007","unstructured":"Goubault-Larrecq, J.: Continuous capacities on continuous state spaces. In: Arge, L., Cachin, C., Jurdzinski, T., Tarlecki, A. (eds.) ICALP 2007. LNCS, vol.\u00a04596, pp. 764\u2013776. Springer, Heidelberg (2007)"},{"key":"40_CR6","unstructured":"Goubault-Larrecq, J.: Une introduction aux capacit\u00e9s, aux jeux et aux pr\u00e9visions. Version 1.7 (June 2007), http:\/\/www.lsv.ens-cachan.fr\/~goubault\/ProNobis\/pp.pdf"},{"key":"40_CR7","unstructured":"Jones, C.: Probabilistic Non-Determinism. PhD thesis, University of Edinburgh, Technical Report ECS-LFCS-90-105 (1990)"},{"key":"40_CR8","series-title":"Electronic Lecture Notes in Computer Science","first-page":"15","volume-title":"Domain-theoretic Methods in Probabilistic Processes","author":"A. Jung","year":"2004","unstructured":"Jung, A.: Stably compact spaces and the probabilistic powerspace construction. In: Desharnais, J., Panangaden, P. (eds.) Domain-theoretic Methods in Probabilistic Processes. Electronic Lecture Notes in Computer Science, vol.\u00a087, p. 15. Elsevier, Amsterdam (2004)"},{"key":"40_CR9","unstructured":"Keimel, K., Plotkin, G.: Predicate transformers for convex powerdomains. Math. Struct. Comp. Sci., p. 42 (submitted 2007)"},{"key":"40_CR10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S0004972700006353","volume":"22","author":"G. Max Kelly","year":"1980","unstructured":"Max Kelly, G.: A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves and so on. Bull. Austr. Math. Soc.\u00a022, 1\u201383 (1980)","journal-title":"Bull. Austr. Math. Soc."},{"key":"40_CR11","unstructured":"L\u00fcth, C.: Categorical Term Rewriting: Monads and Modularity. PhD thesis, University of Edinburgh (1997)"},{"key":"40_CR12","unstructured":"Maa\u00df, S.: Coherent lower previsions as exact functionals and their (sigma-)core. In: de Cooman, G., Fine, T., Seidenfeld, T. (eds.) Proc. 2nd Intl. Symp. Imprecise Probabilities and their Applications (ISIPTA 2001), pp. 230\u2013236 (2001)"},{"key":"40_CR13","unstructured":"Maass, S.: Continuous linear representation of coherent lower previsions. In: Bernard, J.-M., Seidenfeld, T., Zaffalon, M. (eds.) Proc. 3rd Intl. Symp. on Imprecise Probabilities and Their Applications (ISIPTA 2003), Carleton Sci. Proc. in Informatics, vol. 18, pp. 371\u2013381 (2003)"},{"key":"40_CR14","series-title":"Graduate Texts in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-9860-1","volume-title":"Algebraic Theories","author":"E.G. Manes","year":"1976","unstructured":"Manes, E.G.: Algebraic Theories. Graduate Texts in Mathematics, vol.\u00a026. Springer, Heidelberg (1976)"},{"key":"40_CR15","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0166-8641(97)00222-8","volume":"89","author":"M. Mislove","year":"1998","unstructured":"Mislove, M.: Topology, domain theory and theoretical computer science. Topology and Its Applications\u00a089, 3\u201359 (1998)","journal-title":"Topology and Its Applications"},{"key":"40_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"350","DOI":"10.1007\/3-540-44618-4_26","volume-title":"CONCUR 2000 - Concurrency Theory","author":"M. Mislove","year":"2000","unstructured":"Mislove, M.: Nondeterminism and probabilistic choice: Obeying the law. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol.\u00a01877, pp. 350\u2013364. Springer, Heidelberg (2000)"},{"key":"40_CR17","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0890-5401(91)90052-4","volume":"93","author":"E. Moggi","year":"1991","unstructured":"Moggi, E.: Notions of computation and monads. Inf. & Comp.\u00a093, 55\u201392 (1991)","journal-title":"Inf. & Comp."},{"key":"40_CR18","volume-title":"A Course in Game Theory","author":"M.J. Osborne","year":"1994","unstructured":"Osborne, M.J., Rubinstein, A.: A Course in Game Theory. MIT Press, Cambridge (1994)"},{"key":"40_CR19","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1017\/S0960129506005172","volume":"16","author":"G. Plotkin","year":"2006","unstructured":"Plotkin, G.: A domain-theoretic Banach-Alaoglu theorem. Math. Struct. Comp. Sci.\u00a016, 299\u2013311 (2006)","journal-title":"Math. Struct. Comp. Sci."},{"key":"40_CR20","doi-asserted-by":"crossref","unstructured":"Ramsey, N., Pfeffer, A.: Stochastic lambda calculus and monads of probability distributions. In: Proc. 29th Ann. ACM SIGPLAN-SIGACT Symp. Principles of Programming Languages (POPL 2002), pp. 154\u2013165 (2002)","DOI":"10.1145\/503272.503288"},{"issue":"1","key":"40_CR21","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1017\/S1446788700001609","volume":"68","author":"W. Roth","year":"2000","unstructured":"Roth, W.: Hahn-Banach type theorems for locally convex cones. Journal of the Australian Mathematical Society\u00a068(1), 104\u2013125 (2000)","journal-title":"Journal of the Australian Mathematical Society"},{"key":"40_CR22","unstructured":"Tix, R.: Stetige Bewertungen auf topologischen R\u00e4umen. Diplomarbeit, TH Darmstadt (June 1995)"},{"key":"40_CR23","unstructured":"Tix, R.: Continuous D-Cones: Convexity and Powerdomain Constructions. PhD thesis, Technische Universit\u00e4t Darmstadt (1999)"},{"key":"40_CR24","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.entcs.2004.06.063","volume":"129","author":"R. Tix","year":"2005","unstructured":"Tix, R., Keimel, K., Plotkin, G.: Semantic domains for combining probability and non-determinism. Electronic Notes in Theoretical Computer Science\u00a0129, 1\u2013104 (2005)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"40_CR25","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1109\/LICS.2002.1029838","volume-title":"Proc. 17th Ann. Symp. Logic in Computer Science (LICS 2002)","author":"D. Varacca","year":"2002","unstructured":"Varacca, D.: The powerdomain of indexed valuations. In: Proc. 17th Ann. Symp. Logic in Computer Science (LICS 2002), pp. 299\u2013308. IEEE Computer Society Press, Los Alamitos (2002)"},{"key":"40_CR26","doi-asserted-by":"crossref","unstructured":"Varacca, D., Winskel, G.: Distributing probability over nondeterminism. Math. Struct. Comp. Sci., 26 (accepted 2005)","DOI":"10.1017\/S0960129505005074"},{"key":"40_CR27","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1017\/S0960129500001560","volume":"2","author":"P. Wadler","year":"1992","unstructured":"Wadler, P.: Comprehending monads. Math. Struct. Comp. Sci.\u00a02, 461\u2013493 (1992)","journal-title":"Math. Struct. Comp. Sci."},{"key":"40_CR28","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4899-3472-7","volume-title":"Statistical Reasoning with Imprecise Probabilities","author":"P. Walley","year":"1991","unstructured":"Walley, P.: Statistical Reasoning with Imprecise Probabilities. Chapman and Hall, London (1991)"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74915-8_40.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:45:56Z","timestamp":1619520356000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74915-8_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540749141","9783540749158"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74915-8_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[]}}