Job Title

Teaching Fellow

Department

Computer Science

Phone

024 7652 3252

- Kopperman, R. D., Matthews, Stephen G., Pajoohesh, H., 2009. Completions of partial metrics into value lattices. Topology and its Applications, Vol.156 (No.8), pp. 1534-1544
- Bukatin, Michael, Kopperman, Ralph, Matthews, Stephen G., 2009. Partial metric spaces. American Mathematical Monthly, Vol.116 (No.8), pp. 708-718
- Joy, Mike, Matthews, Stephen G., 1994. Some experiences in teaching functional programming. International Journal of Mathematical Education in Science and Technology, 25 (2), pp. 165-172

- Matthews, Stephen G., Bukatin, Michael, 2012. An intelligent theory of cost for partial metric spaces. 5th International Conference on Artificial General Intelligence (AGI), Oxford, UK, 8-11 Dec 2012, Published in Lecture Notes in Computer Science, pp. 168-176

- Matthews, Stephen G., 1992. Partial metric spaces. University of Warwick. Department of Computer Science
- Matthews, Stephen G., 1992. The topology of partial metric spaces. University of Warwick. Department of Computer Science
- Matthews, Stephen G., 1992. The cycle contraction mapping theorem. University of Warwick. Department of Computer Science
- Matthews, Stephen G., 1991. Adding second order functions to Kahn data flow. University of Warwick. Department of Computer Science
- Matthews, Stephen G., 1990. Notes on separability in metric sets. Department of Computer Science
- Matthews, Stephen G., 1985. Metric domains for completeness. University of Warwick. Department of Computer Science