Robin Houston

Rm 2.106, Kilburn Building,
Oxford Road, Manchester M13 9PL

I started my PhD in September 2003, supervised by Andrea Schalk. I finished in September 2007.

Research:

Categories, linear logic, games, semantics of computation. Also interested in (but not actively researching) formal languages, combinatorics, etc.

Finite products are biproducts in a compact closed category. Journal of Pure and Applied Algebra Volume 212, Issue 2, February 2008.

Bosker blog.

Modelling linear logic without units (preliminary results) (with Dominic Hughes and Andrea Schalk); Mathematics of Games (Continuation report, Sept 2004); Categories of Games (M.Sc. thesis, Sept 2003); Words and Fractions (expository, March 2003); Remarks on the Theory of Two-Player Games (a rather rough translation into English of André Joyal’s 1977 paper describing the category of Conway games).

Linear logic without units (Quicktime movie, slides for a talk at the GoI workshop, Geocal 06); When coherence comes for free (Category theory session of CMS meeting); Finite products are biproducts in a compact closed category (FMCS'06).

Last year I lectured alternate lectures for the category theory part of MT5171.

Typography, programming.