Jia, Xiaodong

1. Algebras of the extended probabilistic powerdomain monad
   2019/03/18 by Goubault-Larrecq, Jean, Jia, Xiaodong · 2 citations
   #18C20 #28E99 #46A99 #Category Theory (math.CT) #FOS: Mathematics #General Topology (math.GN)
2. A Domain-Theoretic Approach to Statistical Programming Languages
   2021/06/30 by Jean Goubault-Larrecq, Xiaodong Jia, Goubault-Larrecq, Jean +3 · 1 citation
   Computer Science · #Computability, Logic, AI Algorithms #D.3.1 #Evolutionary Algorithms and Applications #F.3.2 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems
3. Domain-complete and LCS-complete spaces
   2019/02/28 by de Brecht, Matthew, Goubault-Larrecq, Jean, Jia, Xiaodong +1 · 1 citation
   #54E99 #FOS: Mathematics #General Topology (math.GN)