Weng Kin Ho

According to our database, Weng Kin Ho authored at least 22 papers between 2005 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2019

Topological Scott Convergence Theorem.

Hadrian Andradi, Weng Kin Ho

Log. Methods Comput. Sci., 2019

Quasi-continuous Yoneda Complete Quasi-Metric Space.

Kok Min Ng, Weng Kin Ho

Proceedings of the 8th International Symposium on Domain Theory and Its Applications, 2019

Universal Approach to <i>Z</i>-frame Envelopes of Semilattices.

Gaolin Li, Dongsheng Zhao, Weng Kin Ho

Proceedings of the 8th International Symposium on Domain Theory and Its Applications, 2019

2018

Domains via approximation operators.

Zhiwei Zou, Qingguo Li, Weng Kin Ho

Log. Methods Comput. Sci., 2018

The Ho-Zhao Problem.

Weng Kin Ho, Jean Goubault-Larrecq, Achim Jung, Xiaoyong Xi

Log. Methods Comput. Sci., 2018

2017

Characterising E-projectives via Comonads.

Weng Kin Ho

Math. Struct. Comput. Sci., 2017

Yoneda Completion via a DCPO Completion of its Poset of Formal Balls.

Kok Min Ng, Weng Kin Ho

Proceedings of the Seventh International Symposium on Domain Theory and Its Applications, 2017

On A New Convergence Class in Sup-sober Spaces.

Hadrian Andradi, Weng Kin Ho

CoRR, 2017

2016

Domains via a rough set theoretic approach.

Zhiwei Zou, Qingguo Li, Weng Kin Ho

CoRR, 2016

Join-continuity + Hypercontinuity = Prime continuity.

Weng Kin Ho, Achim Jung, Dongsheng Zhao

CoRR, 2016

The Ho-Zhao Problem.

Weng Kin Ho, Achim Jung, Xiaoyong Xi

CoRR, 2016

Strong completions of spaces.

Hadrian Andradi, Weng Kin Ho

CoRR, 2016

On a new convergence class in k-bounded sober spaces.

Hadrian Andradi, Weng Kin Ho

CoRR, 2016

2015

On topologies defined by irreducible sets.

Dongsheng Zhao, Weng Kin Ho

J. Log. Algebraic Methods Program., 2015

2013

Characterising E-projectives via Co-monads.

Weng Kin Ho

Proceedings of the 6th International Symposium on Domain Theory and Its Applications, 2013

2009

Operational domain theory and topology of sequential programming languages.

Martín Hötzel Escardó, Weng Kin Ho

Inf. Comput., 2009

2007

Computational Realizations of Living Systems.

Dominique F. Chu, Weng Kin Ho

Artif. Life, 2007

The Localization Hypothesis and Machines.

Dominique F. Chu, Weng Kin Ho

Artif. Life, 2007

2006

Operational domain theory and topology of sequential functional languages.

Weng Kin Ho

PhD thesis, 2006

An Operational Domain-theoretic Treatment of Recursive Types.

Weng Kin Ho

Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics, 2006

A Category Theoretical Argument against the Possibility of Artificial Life: Robert Rosen's Central Proof Revisited.

Dominique F. Chu, Weng Kin Ho

Artif. Life, 2006

2005

Operational Domain Theory and Topology of a Sequential Programming Language.

Martín Hötzel Escardó, Weng Kin Ho

Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005