Involutive categories and monoids, with a GNS-correspondence (2010)

by Bart Jacobs
Venue:In Quantum Physics and Logic (QPL
Citations:4 - 2 self

Documents Related by Co-Citation

8 Church–Rosser theorems for abstract reduction modulo an equivalence relation – E Ohlebusch - 1998
3 A reduction-preserving completion for proving confluence of nonterminating term rewriting systems – Takahito Aoto, Yoshihito Toyama - 2011
2 Iterative lexicographic path orders. In: Algebra, Meaning and Computation: Essays dedicated to Joseph A – J W Klop, V v Oostrom, R d Vrijer - 2006
2 Confluence by decreasing diagrams, converted – V v Oostrom - 2008
4 Diagrammatic confluence and completion – Jean-Pierre Jouannaud, Vincent Van Oostrom
3 An abstract factorization theorem for explicit substitutions – B Accattoli
30 Equational Inference, Canonical Proofs, And Proof Orderings – Leo Bachmair, Nachum Dershowitz - 1992
944 Term Rewriting and All That – Franz Baader, Tobias Nipkow - 1998
78 Term Rewriting Systems – Terese - 2003
5 Scalars, monads and categories – D Coumans, B Jacobs - 2010
67 Semantics of weakening and contraction – B Jacobs - 1994
18 Bilinearity and cartesian closed monads – A Kock - 1971
3 Partial observation of quantum Turing machine and weaker well-formedness condition – S Â Perdrix - 2008
2 Dagger categories and formal distributions – Richard Blute, Prakash Panangaden
2 Dagger categories of tame relations – B Jacobs - 2011
79 Quantum random walks - an introductory overview – J. Kempe, Albert Einstein - 2003
298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
233 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995
13 Testing semantics: connecting processes and process logics – Dusko Pavlovic, Michael Mislove, James B. Worrell - 2006