From haar to lebesgue via domain theory

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 8464 LNCS, Issue , 2014, Pages 214-228

  Brian, Will ^a   Mislove, Michael ^a  

^a Tulane University   (United States)

Author keywords

Cantor map; Cantor set; compact group; Haar measure; Lebesgue measure; Stone duality

Indexed keywords

ALGEBRA; FRACTALS; TOPOLOGY;

CANTOR SETS; COMPACT GROUP; HAAR MEASURE; LEBESGUE MEASURE; STONE DUALITIES;

GROUP THEORY;

EID: 84902477878     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-319-06880-0_11     Document Type: Conference Paper

References (14)

1. Abramsky, S.: Domain theory in logical form. Annals of Pure and Applied Logic 51,1-77 (1991)
2. Abramsky, S., Jung, A.: Domain Theory. In: Handbook of Logic in ComputerScience, pp. 1-168. Clarendon Press (1994)
3. Fedorchuk, V.: Probability measures in topology. Russ. Math. Surv. 46, 45-93(1991)
4. Gierz, G., Hofmann, K.H., Lawson, J.D., Mislove, M., Scott, D.: Continuous Latticesand Domains. Cambridge University Press (2003)
5. Gehrke, M., Grigorieff, S., Pin, J.-́E.: Duality and equational theory of regularlanguages. In: Aceto, L., Damgard, I., Goldberg, L.A., Halld́orsson, M.M.,Inǵolfsd́ottir, A., Walukiewicz, I. (eds.) ICALP 2008, Part II. LNCS, vol. 5126,pp. 246-257. Springer, Heidelberg (2008)
6. Gehrke, M.: Stone duality and the recognisable languages over an algebra. In: Kurz,A., Lenisa, M., Tarlecki, A. (eds.) CALCO 2009. LNCS, vol. 5728, pp. 236-250.Springer, Heidelberg (2009)
7. Hofmann, K.H., Mislove, M.: Compact affine monoids, harmonic analysis and informationtheory, in: Mathematical Foundations of Information Flow. AMS Symposiaon Applied Mathematics 71, 125-182 (2012)
8. Hofmann, K.H., Morris, S.: The Structure Theory of Compact Groups, de GruyterStudies in Mathematics, 2nd edn., vol. 25, p. 858. de Gruyter Publishers (2008)
9. Jones, C.: Probabilistic Nondeterminism, PhD Thesis, University of Edinburgh(1988)
10. Jung, A., Tix, R.: The troublesome probabilistic powerdomain. ENTCS 13, 70-91(1998)
11. Mislove, M.: Topology. domain theory and theoretical computer science. Topologyand Its Applications 89, 3-59 (1998)
12. Rotman, J.: An Introduction to the Theory of Groups, Graduate Studies in Mathematics,4th edn. Springer (1999)
13. Saheb-Djarhomi, N.: CPOs of measures for nondeterminism. Theoretical ComputerScience 12, 19-37 (1980)
14. http://en.wikipedia.org/wiki/Cantor-set