Dominic C. Horsman

Learn More
We give a rigorous framework for the interaction of physical computing devices with abstract computation. Device and program are mediated by the non-logical representation relation; we give the conditions under which representation and device theory give rise to commuting diagrams between logical and physical domains, and the conditions for computation to(More)
John-Mark A. Allen, Jonathan Barrett, Dominic C. Horsman, Ciarán M. Lee, and Robert W. Spekkens Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, Oxford OX1 3QD, United Kingdom Department of Physics, University of Durham, South Road, Durham DH1 3LE, United Kingdom Department of Physics and Astronomy, University College(More)
The standard formalism of quantum theory treats space and time in fundamentally different ways. In particular, a composite system at a given time is represented by a joint state, but the formalism does not prescribe a joint state for a composite of systems at different times. If there were a way of defining such a joint state, this would potentially permit(More)
Smog in Melbourne? Dear Sir: Reference is made to the article on smog in Melbourne which appeared in the “Currents” section (ES&T, Nov. 1979, p. 1325). The findings of the survey have been taken out of context and overstated. My comments were concerned with ozone and damage to vegetation. It is in this context that I consider that Melbourne and its environs(More)
This volume constitutes the proceedings of the 7th International Workshop on Physics and Computation (PC 2016). The workshop was held on the 14th of July 2016 in Manchester, UK, as a satellite workshop to UCNC 2016, the 15th International Conference on Unconventional Computation and Natural Computation. The goal of the workshop series is to bring together(More)
ion/Representation Theory for heterotic physical computing. Phil. Trans. R. Soc. A 373: 20140224. Accepted: 5 May 2015 One contribution of 13 to a Theo Murphy meeting issue ‘Heterotic computing: exploiting hybrid computational devices’.
  • 1