P. Hines Classical structures based on unitaries, arXiv:1305.4491 [math.CT]
P. Hines Coherence in Hilbert’s Hotel, arXiv:1304.5954 [math.CT]
P. Hines Identities in modular arithmetic from reversible coherence operations, proc. RC2013, Springer LNCS, to appear
P. Hines Quantum speed-up and categorical distributivity, in B. Coecke, L. Ong, and P. Panangaden (Eds.) Abramsky Festschrift, LNCS 7860, pp. 122-138 (2013)
P. Hines Types and forgetfulness in categorical linguistics and quantum mechanics, in C. Heunen, M. Sadrzadeh, E. Grefenstette (ed.s), Quantum Physics and Linguistics: a compositional diagrammatic discourse, Oxford University Press (2013) pp. 1-34
P. Hines A categorical analogue of the monoid semiring construction, Mathematical Structures in Computer Science 23(1), (2013) pp. 55-94
S. Stepney, V. Kendon, P. Hines, A. Sebald A framework for Heterotic Computing >8th workshop on quantum physics and logic (QPL 2011), Nijmegen, Netherlands, ETPCS (95) (2012) pp. 263-273
P. Hines, P. Scott Categorical traces from single-photon linear optics, in S. Abramsky, M. Mislove (ed.s), Mathematical Foundations of Information Flow (Clifford Lectures) AMS Proceedings of Symposia in Applied Mathematics (vol. 71) (2012) pp. 89-124
E. Pothos, A. Perlman, T. Bailey, K. Kurtz, D. Edwards, P. Hines, J. McDonnell Measuring category intuitiveness in unconstrained categorization tasks Cognition 121(1) (2011) pp.83-100
V. Kendon, A. Sebald, S. Stepney, M. Bechmann, P. Hines, R. Wagner Heterotic Computing, proc. Unconventional Computation 2011, Turku, Finland. Springer L.N.C.S. 6714 (2011) pp. 113-124
P. Hines Can a quantum computer run the von Neumann architecture? in B. Coecke (ed.) New Structures for Physics, Lect. Notes Phys. 813, Springer Berlin (2011) pp.941-978
E. Pothos, N. Chater, P. Hines The simplicity model of unsupervised categorization, in Formal Models of Categorization, A. Mills, E. Pothos (ed.s) Cambridge University Press (2010) pp. 199-219
P. Hines Quantum circuit oracles for Abstract Machine computations, Theoretical Computer Science 411 (2010) pp. 1501-1520
P. Hines, S. Braunstein The Structure of Partial Isometries, in, Semantic Techniques in Quantum Computation, Cambridge University Press (2010) pp.361-389
E. Pothos, A.Perlman, D. Edwards, T. Gureckis, P. Hines, N. Chater Modelling Category Intuitiveness, Cognitive Science Journal (2008) pp. 415-420
P. Hines Machine Semantics: From Causality to Computational Models, International Journal of Unconventional Computation 4(3) (2008) pp. 249-272
P. Hines Machine Semantics, Theoretical Computer Science 409(1) (2008) pp. 1-23
P. Hines, E. Pothos, N. Chater A Non-Parametric Approach to Simplicity Clustering, Applied Artificial Intelligence 21(8) (2007) pp. 729-752
P. Hines Physical Systems as Constructive Logics, in Unconventional Computation, C. Calude et. al (ed.s) Springer LNCS (2006) pp.101-112
P. Hines A Categorical Framework for Finite State Machines Mathematical Structures in Computer Science (13) (2003) pp. 451-480
P. Hines A Short Note on Coherence and Self-Similarity Journal of Pure and Applied Algebra (175) (2002) pp. 135-139
P. Hines The Categorical Theory of Self-Similarity Theory and Applications of Categories 6(3) (1999) pp.33-46
P. Hines The Algebra of Self-Similarity and its Applications PhD Thesis, University of Wales, Bangor (1997)
P. Hines, M. V. Lawson An Application of Polycyclic Monoids to Rings Semiroup Forum (56) (1996) pp. 146-149
Various unpublished drafts of mine have also been referenced, including
A one-object compact closed category used in the Geometry of Interaction (1996)
Symmetries and transitions of space-bounded Turing machines (2000)
The unitary trace: conditional quantum iteration and WHILE loops (2007)
A linear decision procedure for commutativity of untyped canonical diagrams (2012)
These have generally been superceded by the above published papers, but if you really need the original versions, please get in touch