8 citations · 16 across the 11 of their papers we have counts for
12 papers
The Inverse Semigroup Theory of Elementary Arithmetic
Peter M. Hines
We curry the elementary arithmetic operations of addition and multiplication to give monotone injections on N, and describe & study the inverse monoids that arise from also conside…
A diagrammatic approach to information flow in encrypted communication (extended version)
Peter Hines
We give diagrammatic tools to reason about information flow within encrypted communication. In particular, we are interested in deducing where information flow (communication or ot…
Information Flow in Pregroup Models of Natural Language
Peter M. Hines
This paper is about pregroup models of natural languages, and how they relate to the explicitly categorical use of pregroups in Compositional Distributional Semantics and Natural L…
Girard's as a reversible fixed-point operator
Peter Hines
We give a categorical description of the treatment of the !() exponential in the Geometry of Interaction system, with particular emphasis on the fact that the GoI interpretation 'f…
A categorical analogue of the monoid semiring construction
Peter Hines
This paper introduces and studies a categorical analogue of the familiar monoid semiring construction. By introducing an axiomatisation of summation that unifies notions of summati…
Classical Structures Based on Unitaries
Peter Hines
Starting from the observation that distinct notions of copying have arisen in different categorical fields (logic and computation, contrasted with quantum mechanics) this paper add…