Publications

All works listed below are in reverse-chronological order.

 

Chapters in Scholarly Books

 

1.      Tay, E. G., Lim, S. K., Ho, W. K., & Toh, T. L. (In-press).  Preparing mathematics teachers in Singapore Mathematics Content Knowledge.  In Tan, O. S., Liu, W. C., Low, E. L. (Ed.), Teacher Education in the 21st Century: Singapore’s Evolution and Innovation.  Singapore: Springer.

 

2.      Ho, W. K., Leong, Y. H., Ho, F. H. & Cheng, L. P. (2015).  The Impact of Online Video Suite on the Singapore Pre-service Teachers’ Buying-in to Innovative Teaching of Factorisation via Algecards.  In Ng, S. F. (Eds.), Cases of Mathematics Professional Development in East Asia Countries -  Using Video to Sup[port Grounded Analysis (pp. 157-178).  Singapore: Springer.

 

3.      Ho, W. K. (2014). Learning through “plane punctuality”. In N. H. Lee & K. E. D. Ng (Eds.), Mathematical modelling: From theory to practice (1st ed., pp. 167-176). Singapore: World Scientific. 

 

 

Journal Articles (Refereed)

 

  1. Ho, W. K. (2016).  Characterising E-projectives via Co-monads.  Mathematical Structures in Computer Science (To appear).

 

  1. Leong, Y. H., Ho, W. K., & Cheng, L. P. (2015).  Concrete-Pictorial-Abstract: Surveying its origins and charting its future.  The Mathematics Educator, 16(1), 1-19.

 

  1. Zhao, D., & Ho, W. K. (2014).  On topologies defined by irreducible sets.  Journal of Logical and Algebraic Methods in Programming, 84, pp. 185-195.
  2. Dong, F. M., Zhao, D. & Ho, W. K. (2014). On the largest outscribed equilateral triangle.  The Mathematical Gazette, 98(541), pp. 79-84.

 

5.      Ho, W. K. (2014).  An operational domain-theoretic treatment of recursive types.  Mathematical Structures in Computer Science, 24(1), pp. 1-59.

 

  1. Dong, F. M., Ho, W. K. & Lee, T. Y. (2014).  A Family of Identities via Arbitrary Polynomials.  The College Mathematics Journal, 44, pp. 43-47.

 

  1. Ho, W. K., Ho, F. H. & Lee, T. Y. (2013).  Exponential function and its derivative revisited.  International Journal of Mathematics Education in Science and Technology, 44(3), pp. 423-428.

 

  1. Ho, W. K., Ho, F. H. & Lee, T. Y. (2012).  An elementary proof of the identity .  International Journal of Mathematics Education in Science and Technology, 43(8), pp. 1085-1092.

 

  1. Escardó, M. H. & Ho, W. K. (2009) An operational domain theory and topology of a sequential programming language. Information and Computation, 207(3), pp. 411-437.

 

  1. Ho, W. K. & Zhao, D. (2009). Lattices of Scott-closed sets. Comment. Math. Univ. Carolinae, 50(2), pp. 297-314.

 

  1. Chu, D. & Ho, W. K. (2007).  Computational Realizations of Living Systems.  Artificial Life, 13(4), pp. 369-381.

 

  1. Chu, D. & Ho, W. K. (2007).  The Localization Hypothesis and Machines. Artificial Life, 13(3), pp. 299-302.

 

  1. Chu, D. & Ho, W. K. (2006).  A category theoretical argument against the possibility of artificial life: Robert Rosen’s Central Proof revisited. Artificial Life, 12(1).

 

 

Conference Papers (Published in Proceedings)

 

  1. Ho, W. K. (2014).  Characterising E-projectives via Co-monads.  In Y.-M. Liu, M.-K. Luo & M. Mislove (Eds.) Proceedings of the 6th International Symposium on Domain Theory and Its Applications, Electronic Notes in Theoretical Computer Science 301, pp. 61-77.  Changsha, China: ISDT

 

  1. Ho, W. K. (2014).  Exact Real Calculator for Everyone.  In W.-C. Yang , M. Majweski, T. Alwis, & I. K. Rana, (Eds.) Proceedings of the 18th Asian Technology conference in Mathematics (pp. 1-15).  Bombay, India: ATCM. 

 

  1. Ho, W. K. (2012).  An Introduction to Topology and its Applications: A new approach.  In Proceedings of the 1st Conference on Applied Mathematics and Education.  Yogyakarta, Indonesia: CAME.

 

  1. Ho, W. K., Ho, F. H. & Jaguthsing, D. (2012). Pre-service Teachers’ Use of Symmetry of Quadratic Graphs in Problem Solving.  In Proceedings of the 12th International Congress on Mathematical Education, Discussion Group 17 (Problem solving in Classroom).  Seoul, Korea: ICME.

 

  1. Ho, W. K., Zhao, D. & Wee, W.S. (2010).  D-completions of net-convergence structures.  In B.-Y. Cao, G.-J. Wang, S.-L Chen & S.-Z. Guo (Eds.) Proceedings of the 2nd International Conference on Quantitative Logic and Soft Computing (QLSC2010), Advances in Intelligent and Soft Computing, 2(82), pp. 93-110.  

 

  1. Wee, W. S., Zhao, D. & Ho, W. K. (2009).  Filter convergence structure in posets.  In Proceedings of the 9th Asian Mathematics Conference.  Kuala Lumpur, Malaysia: ACM.

 

  1.  Ho, W. K. (2008).  Using history of mathematics in teaching and learning of mathematics in Singapore. In Proceedings of the 1st Raffles International Conference on Education. Singapore, Singapore: RICE

 

  1. Ho, W. K. (2006).  An operational domain-theoretic treatment of recursive types. In Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics, Electronic Notes in Theoretical Computer Science, 158, pp. 237-259.  Genova, Italy: MFPS.

 

  1. Escardó, M. H. & Ho, W. K. (2005).  Operational domain theory and topology of a sequential programming language.  In Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science (pp. 427-436).  Chicago, USA: LICS.

 

 

Conference Presentations

 

  1. Ho, W. K., toh, P. C., Toh, T. L., Leong, Y. H., Tay, E. G., & Quek, K. S.  (2014, December). The Practical Paradigm: Teaching of the Problem Solving Process in University Mathematics.  Paper presented at 2014 Association of Southeast Asian Institutions of Higher Learning (ASAIHL) Conference, Singapore.

 

 

Technical reports

 

1.      Maximal Outbox Theorem. Technical Report No. 2014-01, Mathematics and Mathematics Education, National Institute of Education, Nanyang Technological University, February 2014.

 

2.      When exactly is Scott sober?  Technical Report No. 2010-02, Mathematics and Mathematics Education, National Institute of Education, Nanyang Technological University, July 2010.

 

3.      An operational domain-theoretic treatment of recursive types.  Technical Report No. 2010-01, Mathematics and Mathematics Education, National Institute of Education, Nanyang Technological University, Jun 2010.

 

University textbooks

 

1.      Number Theory, Prentice Hall, Pearson South Asia Education, W.K. Ho, Jan 2011.

 

Theses

 

  1. Operational Domain Theory and Topology of Sequential Functional Languages.  PhD Thesis, School of Computer Science, University of Birmingham, Oct 2006.

 

  1. Theory of Frames.  Master’s Thesis, Division of Mathematics and Mathematics Education, National Institute of Education, Nanyang Technological University, Aug 2002.