8 citations · 9 across the 3 of their papers we have counts for
4 papers
Identities in modular arithmetic from reversible coherence operations
Peter Hines
This paper investigates some issues arising in categorical models of reversible logic and computation. Our claim is that the structural (coherence) isomorphisms of these categorica…
Types and forgetfulness in categorical linguistics and quantum mechanics
Peter Hines
The role of types in categorical models of meaning is investigated. A general scheme for how typed models of meaning may be used to compare sentences, regardless of their grammatic…
A Framework for Heterotic Computing
Susan Stepney, Viv Kendon, Peter Hines +1
Computational devices combining two or more different parts, one controlling the operation of the other, for example, derive their power from the interaction, in addition to the ca…
Symmetries and transitions of bounded Turing machines
Peter M. Hines
We consider the structures given by repeatedly generalising the definition of finite state automata by symmetry considerations, and constructing analogues of transition monoids at…