Selected Papers :
The categorical theory of self-similarity
(TAC)
A categorical framework for finite state machines
(MSCS)
Conditional quantum iteration from categorical traces
(MSCS - revised version. With P. Scott)
Machine Semantics
(TCS - revised version)
Can a quantum computer run the von Neumann Architecture ?
(New Structures in Physics)
Physical systems as constructive logics
(LNCS)
From causality to computational models
(IJUC)
A non-parametric approach to simplicity clustering
(AAI. With E. Pothos & N. Chater)
Fourier transforms & convolutions of categories, applied to quantum state machines
(Submitted - revised version)
The structure of partial isometries I
(For Semantic Techniques in Quantum Computation)
This somehow seemed appropriate :
Some Talks
:
Planar two-way automata : from inverse semigroups to the quantum Jones polynomial
(Fountainfest 2006, York, UK)
Towards a quantum Machine Semantics
(MFPS 2007, New Orleans, USA)
The inverse and the trace
(TCS 2007, Wroklaw, Poland)
Compact closed monoids
(GeoCal 2006, Marseille, France)
My C.V.
Peter Hines, Curriculum Vitae
My PhD Thesis
The algebra of self-similarity