Hopf algebras and linear logic
From MaRDI portal
Publication:4882498
Recommendations
Cites work
- scientific article; zbMATH DE number 3959364 (Why is no real title available?)
- Antipodes and incidence coalgebras
- Braided groups
- Coalgebras and Bialgebras in Combinatorics
- Coherence for compact closed categories
- Coherence in categories
- Coherence in closed categories
- Linear logic
- Linear logic, coherence and dinaturality
- Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
- Physics for algebraists: Non-commutative and non-cocommutative Hopf algebras by a bicrossproduct construction
- Proceedings of the Conference on Categorical Algebra
- QUASITRIANGULAR HOPF ALGEBRAS AND YANG-BAXTER EQUATIONS
- Quantales and (noncommutative) linear logic
- Stone duality for first order logic
Cited in
(12)- Lifting coalgebra modalities and \textsf{MELL} model structure to Eilenberg-Moore categories
- On Hopf adjunctions, Hopf monads and Frobenius-type properties
- scientific article; zbMATH DE number 1863399 (Why is no real title available?)
- A quantum double construction in Rel.
- Chu spaces as a semantic bridge between linear logic and mathematics.
- scientific article; zbMATH DE number 7471668 (Why is no real title available?)
- Lifting coalgebra modalities and IMELL model structure to Eilenberg-Moore categories
- Models of Linear Logic based on the Schwartz $\varepsilon$-product
- Semantics of quantum programming languages: Classical control, quantum control
- Finiteness spaces, étale groupoids and their convolution algebras
- Bialgebras in Rel
- The shuffle Hopf algebra and noncommutative full completeness
This page was built for publication: Hopf algebras and linear logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4882498)