Author pages are created from data sourced from our academic publisher partnerships and public sources.

- Publications
- Influence

Using history of mathematics in the teaching and learning of mathematics in Singapore

- Weng Kin Ho
- 2008

In this paper, we consider the use of history of mathematics as a methodology in the teaching and learning of mathematics in Singapore, in particular at the polytechnic and junior college level. More… Expand

- 17
- 6
- PDF

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

- D. Chu, Weng Kin Ho
- Computer Science, Medicine
- Artificial Life
- 2006

One of Robert Rosen's main contributions to the scientific community is summarized in his book Life itself. There Rosen presents a theoretical framework to define living systems; given this… Expand

Lattices of Scott-closed sets

- Weng Kin Ho, D. Zhao
- Mathematics
- 2009

A dcpo $P$ is continuous if and only if the lattice $C(P)$ of all Scott-closed subsets of $P$ is completely distributive. However, in the case where $P$ is a non-continuous dcpo, little is known… Expand

- 19
- 4
- PDF

Concrete-Pictorial-Abstract: Surveying its origins and charting its future

- Yew Hoong Leong, Weng Kin Ho, L. Cheng
- Engineering
- 2015

The Concrete-Pictorial-Abstract (CPA) approach, based on Bruner's conception of the enactive, iconic and symbolic modes of representation, is a well-known instructional heuristic advocated by the… Expand

- 31
- 3
- PDF

Operational Domain Theory and Topology of a Sequential Programming Language

- M. Escardó, Weng Kin Ho
- Computer Science
- LICS
- 26 June 2005

A number of authors have exported domain-theoretic techniques from denotational semantics to the operational study of contextual equivalence and preorder. We further develop this, and, moreover, we… Expand

Computational Realizations of Living Systems

- D. Chu, Weng Kin Ho
- Computer Science, Medicine
- Artificial Life
- 1 October 2007

Robert Rosen's central theorem states that organisms are fundamentally different from machines, mainly because they are closed with respect to effcient causation. The proof for this theorem rests on… Expand

The Localization Hypothesis and Machines

- D. Chu, Weng Kin Ho
- Computer Science, Medicine
- Artificial Life
- 1 July 2007

In a recent article in Artificial Life, Chu and Ho suggested that Rosen's central result about the simulability of living systems might be flawed. This argument was later declared null and void by… Expand

On topologies defined by irreducible sets

- D. Zhao, Weng Kin Ho
- Computer Science, Mathematics
- J. Log. Algebraic Methods Program.
- 2015

Abstract In this paper, we define and study a new topology constructed from any given topology on a set, using irreducible sets. The manner in which this derived topology is obtained is inspired by… Expand

The Ho-Zhao Problem

- Weng Kin Ho, Jean Goubault-Larrecq, A. Jung, Xiaoyong Xi
- Computer Science, Mathematics
- Log. Methods Comput. Sci.
- 12 July 2016

Given a poset $P$, the set, $\Gamma(P)$, of all Scott closed sets ordered by
inclusion forms a complete lattice. A subcategory $\mathbf{C}$ of
$\mathbf{Pos}_d$ (the category of posets and… Expand

Operational domain theory and topology of a sequential programming language

- M. Escardó, Weng Kin Ho
- Computer Science, Mathematics
- 20th Annual IEEE Symposium on Logic in Computer…
- 1 March 2009

A number of authors have exported domain-theoretic techniques from denotational semantics to the operational study of contextual equivalence and preorder. We further develop this, and, moreover, we… Expand