Publications

Vous trouverez ci-dessous une liste de mes publications. Par respect du cpoyright, je ne peux pas fournir de liens directs. Je peux par contre fournir des copies sur demande.

  • Peter Hines, M. V. Lawson, An Application of Polycyclic Monoids to Rings Semigroup Forum (56)  (1996) pp. 146-149
  • Peter Hines, The Algebra of Self-Similarity and its Applications  PhD Thesis, University of Wales, Bangor (1998)
  • Peter Hines, The Categorical Theory of Self-Similarity, Theory and Applications of Categories 6(3)  (1999) pp.33-46
  • Peter Hines, A Short Note on Coherence and Self-Similarity, {Journal of Pure and Applied Algebra (175)  (2002) pp. 135-139
  • Peter Hines, A Categorical Framework for Finite State Machines Mathematical Structures in Computer Science (13)  (2003) pp. 451-480
  • Peter Hines, Physical Systems as Constructive Logics, in Unconventional Computation, C. Calude et. al (ed.s), Springer LNCS  (2006) pp.101-112
  •  Peter Hines, E. Pothos, N. Chater, A Non-Parametric Approach to Simplicity Clustering, Applied Artificial Intelligence 21(8)  (2007) pp. 729-752
  • Peter Hines, Machine Semantics, Theoretical Computer Science 409(1)  (2008) pp. 1-23
  • Peter Hines, Machine Semantics: From Causality to Computational Models,  International Journal of Unconventional Computation 4(3)  (2008) pp. 249-272
  • E. Pothos, A.Perlman, D. Edwards, T. Gureckis, P. Hines, N. Chater Modelling Category Intuitiveness, Cognitive Science Journal  (2008) pp. 415-420
  • Peter Hines, S. Braunstein The Structure of Partial Isometries, in, Semantic Techniques in Quantum Computation, Cambridge University Press  (2010) pp.361-389
  • Peter Hines Quantum circuit oracles for Abstract Machine computations, Theoretical Computer Science 411  (2010) pp. 1501-1520
  • E. Pothos, N. Chater, P. Hines The simplicity model of unsupervised categorization,  in Formal Models of Categorization, A. Mills \& E. Pothos (ed.s)  (2010) Cambridge University Press
  • Peter 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
  • V. Kendon, A. Sebald, S. Stepney, M. Bechmann, P. Hines, R. Wagner Heterotic Computing, Unconventional Computation 2011, Turku, Finland. Springer L.N.C.S. 6714  (2011) pp. 113-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
  • Peter Hines, P. Scott}Categorical traces from single-photon linear optics,  in S. Abramsky, M. Mislove (ed.s), AMS Proceedings of Symposia in Applied Mathematics (vol. 71)  (2012) pp. 89-124
  • 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
  • Peter Hines A categorical analogue of the monoid semiring construction, Mathematical Structures in Computer Science 23(1)  (2013) pp. 55-94
  • Peter 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
  • Peter Hines Quantum speed-up and categorical distributivity, in B. Coecke, L. Ong, and P. Panangaden (Eds.) Computation, Logic, Games, and Quantum Foundations, LNCS 7860, pp. 122-138 (2013)
  • Peter Hines Modular Arithmetic Identities from Untyped Categorical Coherence, in G. Dueck, D. Miller (ed.s) Reversible Computation, Springer LNCS 7984 (2013) pp. 84-95
  • Peter Hines Classical Structures based on Unitaries, in B. Coecke, P. Panangaden (ed.s) Categories \& Types in Logic, Language, and Physics, Springer LNCS 8222  (2014) pp. 188-210
  • Peter Hines Coherence and strictification for self-similarity. Journal of Homotopy \& Related Structures (2016)
  • Peter Hines Information flow in pregroup models of natural language. {\em EPTCS} (2018)

Travaux en comité de lecture

J'ai récemment soumis les articles suivants, qui sont actuellement entre les mains de comités de lecture:

  • Peter Hines Categorical coherence in cryptography: algebra, and number theory.
  • Peter Hines Girard's $!(\ )$ as a reversible fixed-point operator
  • Peter Hines Automata-theoretic models of free pregroups

Travaux en cours

Les articles suivants sont en cours d'élaboration, ou ont été récemment achevés, et je m'apprête à les soumettre à un journal prochainement:

  • Picturing communication: graphical and categorical models of information flow
  • Notes on the category theory of Cantor Space  (Monograph)
  • Grigorchuk's group G via monoidal category theory

Manuscrits

Certains de mes manuscrits, bien que non-publiés, ont été cités par d'autres auteurs.  J'ai depuis publié la plupart de leur contenu dans d'autres articles.

  • A one-object inverse compact closed category used in the Geometry of Interaction (1996)
  • A hierarchy of finite state machines and their algebraic models (2000)
  • Unitary computations of factorials (2004)
  • (joint work with P. Scott)  Conditional quantum iteration from categorical traces (2006)
  • A constructive decision procedure for commutativity of canonical diagrams (2012)