Hopf algebras and linear logic
From MaRDI portal
Publication:4882498
DOI10.1017/S0960129500000943zbMath0859.18008MaRDI QIDQ4882498
Publication date: 9 April 1997
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
monoidal categoriestopological vector spaceslinear logicreflexive objectslinear topology*-autonomous categorynoncommutative logicrepresentations of Hopf algebrasinvolutive negationChu categorycommutative logiccyclic logic
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (11)
Models of Linear Logic based on the Schwartz $\varepsilon$-product ⋮ The shuffle Hopf algebra and noncommutative full completeness ⋮ Bialgebras in Rel ⋮ A quantum double construction in Rel ⋮ Semantics of quantum programming languages: Classical control, quantum control ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Chu spaces as a semantic bridge between linear logic and mathematics. ⋮ Finiteness spaces, étale groupoids and their convolution algebras ⋮ On Hopf adjunctions, Hopf monads and Frobenius-type properties ⋮ Unnamed Item
Cites Work
- Unnamed Item
- Linear logic
- Linear logic, coherence and dinaturality
- Physics for algebraists: Non-commutative and non-cocommutative Hopf algebras by a bicrossproduct construction
- Antipodes and incidence coalgebras
- Stone duality for first order logic
- Coherence for compact closed categories
- Braided groups
- Coherence in closed categories
- Coherence in categories
- Quantales and (noncommutative) linear logic
- QUASITRIANGULAR HOPF ALGEBRAS AND YANG-BAXTER EQUATIONS
- Coalgebras and Bialgebras in Combinatorics
- Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
- Proceedings of the Conference on Categorical Algebra
This page was built for publication: Hopf algebras and linear logic
