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

1006 Term Rewriting and All That – F Baader, T Nipkow - 1998
986 Categories for the Working Mathematician – Saunders Mac Lane - 1971
325 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
86 Term Rewriting Systems – editor TeReSe - 2003
69 Semantics of weakening and contraction – B Jacobs - 1992
248 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995
30 Equational Inference, Canonical Proofs, And Proof Orderings – Leo Bachmair, Nachum Dershowitz - 1992
235 Domain Theory in Logical Form – Samson Abramsky - 1991
8 Church-Rosser theorems for abstract reduction modulo an equivalence relation – E Ohlebusch - 1998