2012

Matthews, Stephen G. and Bukatin, Michael (2012) An intelligent theory of cost for partial metric spaces. In: 5th International Conference on Artificial General Intelligence (AGI), Oxford, UK, 8-11 Dec 2012. Published in: Lecture Notes in Computer Science, 7716 pp. 168-176. ISBN 9783642355059. ISSN 0302-9743. doi:10.1007/978-3-642-35506-6_18

2009

Bukatin, Michael, Kopperman, Ralph and Matthews, Stephen G. (2009) Partial metric spaces. American Mathematical Monthly, Vol.116 (No.8). pp. 708-718. doi:10.4169/193009709X460831

Kopperman, R. D., Matthews, Stephen G. and Pajoohesh, H. (2009) Completions of partial metrics into value lattices. Topology and its Applications, Vol.156 (No.8). pp. 1534-1544. doi:10.1016/j.topol.2009.01.002

1994

Joy, Mike and Matthews, Stephen G. (1994) Some experiences in teaching functional programming. International Journal of Mathematical Education in Science and Technology, Volume 25 (Number 2). pp. 165-172. doi:10.1080/0020739940250202

1992

Matthews, Stephen G. (1992) The cycle contraction mapping theorem. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Matthews, Stephen G. (1992) The topology of partial metric spaces. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Matthews, Stephen G. (1992) Partial metric spaces. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

1991

Matthews, Stephen G. (1991) Adding second order functions to Kahn data flow. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

1990

Matthews, Stephen G. (1990) Notes on separability in metric sets. Coventry, UK: Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

1985

Matthews, Stephen G. (1985) Metric domains for completeness. PhD thesis, University of Warwick.