The following pages link to Hopf algebras and linear logic (Q4882498):
Displaying 11 items.
- Chu spaces as a semantic bridge between linear logic and mathematics. (Q1398475) (← links)
- On Hopf adjunctions, Hopf monads and Frobenius-type properties (Q1701170) (← links)
- Semantics of quantum programming languages: Classical control, quantum control (Q2168785) (← links)
- Finiteness spaces, étale groupoids and their convolution algebras (Q2200882) (← links)
- A quantum double construction in Rel (Q2909732) (← links)
- Bialgebras in Rel (Q3178263) (← links)
- The shuffle Hopf algebra and noncommutative full completeness (Q4254690) (← links)
- (Q4972739) (← links)
- (Q4993351) (← links)
- (Q5028428) (← links)
- Models of Linear Logic based on the Schwartz $\varepsilon$-product (Q5207357) (← links)
