![]() | ![]() |
| 2009 | ||
|---|---|---|
| 6 | Martín Hötzel Escardó, Weng Kin Ho: Operational domain theory and topology of sequential programming languages. Inf. Comput. 207(3): 411-437 (2009) | |
| 2007 | ||
| 5 | Dominique Chu, Weng Kin Ho: The Localization Hypothesis and Machines. Artificial Life 13(3): 299-302 (2007) | |
| 4 | Dominique Chu, Weng Kin Ho: Computational Realizations of Living Systems. Artificial Life 13(4): 369-381 (2007) | |
| 2006 | ||
| 3 | Dominique Chu, Weng Kin Ho: A Category Theoretical Argument against the Possibility of Artificial Life: Robert Rosen's Central Proof Revisited. Artificial Life 12(1): 117-134 (2006) | |
| 2 | Weng Kin Ho: An Operational Domain-theoretic Treatment of Recursive Types. Electr. Notes Theor. Comput. Sci. 158: 237-259 (2006) | |
| 2005 | ||
| 1 | Martín Hötzel Escardó, Weng Kin Ho: Operational Domain Theory and Topology of a Sequential Programming Language. LICS 2005: 427-436 | |
| 1 | Dominique Chu | [3] [4] [5] |
| 2 | Martín Hötzel Escardó | [1] [6] |
Colors in the list of coauthors
Last update Thu May 31 18:55:10 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page