papers
Publications (8)
math.CT2013
A categorical analogue of the monoid semiring construction
Peter Hines
math.CT2015
Coherence and strictification for self-similarity
Peter Hines
quant-ph2013
Quantum Speedup and Categorical Distributivity
Peter Hines
math.CT2013
Identities in modular arithmetic from reversible coherence operations
Peter Hines
math.CT2013
Classical Structures Based on Unitaries
Peter Hines
math.CT2013
Girard's $!()$ as a reversible fixed-point operator
Peter Hines
cs.CL2013
Types and forgetfulness in categorical linguistics and quantum mechanics
Peter Hines
cs.ET2012
A Framework for Heterotic Computing
Susan Stepney, Viv Kendon, Peter Hines +1