The following pages link to Languages for monoidal categories (Q584380):
Displaying 11 items.
- Nonsymmetric \(^{\ast}\)-autonomous categories (Q673964) (← links)
- Linear logic, coherence and dinaturality (Q685406) (← links)
- A note on natural numbers objects in monoidal categories (Q749645) (← links)
- The structure of free closed categories (Q803265) (← links)
- The logic of message-passing (Q923880) (← links)
- An internal language for autonomous categories (Q1320337) (← links)
- Algebraic properties of quantum quasigroups (Q2200959) (← links)
- Augmented quasigroups and character algebras (Q2295465) (← links)
- GS·Λ Theories (Q2842817) (← links)
- Covert Movement in Logical Grammar (Q3013021) (← links)
- Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks (Q5009443) (← links)