Weng Kin Ho

ORCID

Publication Activity (10 Years)

Years Active: 2005-2019
Publications (10 Years): 14

Top Venues

CoRR

ISDT

Log. Methods Comput. Sci.

Math. Struct. Comput. Sci.

University of Birmingham, UK (PHD)

Education History

University of Birmingham, UK

PHD

Publications

Hadrian Andradi, Weng Kin Ho
Topological Scott Convergence Theorem. Log. Methods Comput. Sci. 15 (1) (2019)
Gaolin Li, Dongsheng Zhao, Weng Kin Ho
-frame Envelopes of Semilattices. ISDT (2019)
Kok Min Ng, Weng Kin Ho
Quasi-continuous Yoneda Complete Quasi-Metric Space. ISDT (2019)
Weng Kin Ho, Jean Goubault-Larrecq, Achim Jung, Xiaoyong Xi
The Ho-Zhao Problem. Log. Methods Comput. Sci. 14 (1) (2018)
Zhiwei Zou, Qingguo Li, Weng Kin Ho
Domains via approximation operators. Log. Methods Comput. Sci. 14 (2) (2018)
Weng Kin Ho
Characterising E-projectives via Comonads. Math. Struct. Comput. Sci. 27 (4) (2017)
Hadrian Andradi, Weng Kin Ho
Topological Scott Convergence Theorem. CoRR (2017)
Kok Min Ng, Weng Kin Ho
Yoneda Completion via a DCPO Completion of its Poset of Formal Balls. ISDT (2017)
Hadrian Andradi, Weng Kin Ho
On A New Convergence Class in Sup-sober Spaces. CoRR (2017)
Zhiwei Zou, Qingguo Li, Weng Kin Ho
Domains via a rough set theoretic approach. CoRR (2016)
Hadrian Andradi, Weng Kin Ho
Strong completions of spaces. CoRR (2016)
Hadrian Andradi, Weng Kin Ho
On a new convergence class in k-bounded sober spaces. CoRR (2016)
Weng Kin Ho, Achim Jung, Dongsheng Zhao
Join-continuity + Hypercontinuity = Prime continuity. CoRR (2016)
Weng Kin Ho, Achim Jung, Xiaoyong Xi
The Ho-Zhao Problem. CoRR (2016)
Dongsheng Zhao, Weng Kin Ho
On topologies defined by irreducible sets. J. Log. Algebraic Methods Program. 84 (1) (2015)
Weng Kin Ho
Characterising E-projectives via Co-monads. ISDT (2013)
Weng Kin Ho
An operational domain-theoretic treatment of recursive types. Math. Struct. Comput. Sci. 24 (1) (2013)
Martín Hötzel Escardó, Weng Kin Ho
Operational domain theory and topology of sequential programming languages. Inf. Comput. 207 (3) (2009)
Dominique F. Chu, Weng Kin Ho
Computational Realizations of Living Systems. Artif. Life 13 (4) (2007)
Dominique F. Chu, Weng Kin Ho
The Localization Hypothesis and Machines. Artif. Life 13 (3) (2007)
Weng Kin Ho
An Operational Domain-theoretic Treatment of Recursive Types. MFPS (2006)
Dominique F. Chu, Weng Kin Ho
A Category Theoretical Argument against the Possibility of Artificial Life: Robert Rosen's Central Proof Revisited. Artif. Life 12 (1) (2006)
Martín Hötzel Escardó, Weng Kin Ho
Operational Domain Theory and Topology of a Sequential Programming Language. LICS (2005)

Weng Kin Ho.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Weng Kin Ho