The extended probabilistic powerdomain monad over stably compact spaces - Extended abstract

B Cohen, Martin Escardo, K Keimel

Research output: Contribution to conference (unpublished)Paper

Original languageEnglish
Pages566-575
Number of pages10
Publication statusPublished - 1 Jan 2006
Event3rd International Conference on Theory and Applications of Models of Computation (TAMC 2006), May 15-20, 2006. Beijing, Peoples R China -
Duration: 1 Jan 2006 → …

Conference

Conference3rd International Conference on Theory and Applications of Models of Computation (TAMC 2006), May 15-20, 2006. Beijing, Peoples R China
Period1/01/06 → …

Cite this