![]() | ![]() |
2009 | ||
---|---|---|
5 | EE | Martín Hötzle Escardó, Weng Kin Ho: Operational domain theory and topology of sequential programming languages. Inf. Comput. 207(3): 411-437 (2009) |
2007 | ||
4 | EE | Dominique Chu, Weng Kin Ho: The Localization Hypothesis and Machines. Artificial Life 13(3): 299-302 (2007) |
3 | EE | Dominique Chu, Weng Kin Ho: Computational Realizations of Living Systems. Artificial Life 13(4): 369-381 (2007) |
2006 | ||
2 | EE | 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) |
1 | EE | Weng Kin Ho: An Operational Domain-theoretic Treatment of Recursive Types. Electr. Notes Theor. Comput. Sci. 158: 237-259 (2006) |
1 | Dominique Chu | [2] [3] [4] |
2 | Martín Hötzle Escardó | [5] |