The following pages link to Languages for monoidal categories (Q584380):
Displaying 20 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\(\cdot \Lambda \) theories: a syntax for higher-order graphs (Q2842817) (← links)
- Physics, Topology, Logic and Computation: A Rosetta Stone (Q3000920) (← links)
- Covert Movement in Logical Grammar (Q3013021) (← links)
- (Q3480252) (← links)
- *-Autonomous categories and linear logic (Q4006228) (← links)
- The formal theory of multimonoidal monads (Q4631636) (← links)
- The Algebra of Directed Acyclic Graphs (Q4922072) (← links)
- A practical type theory for symmetric monoidal categories (Q5006460) (← links)
- Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks (Q5009443) (← links)
- Aspects of Categorical Recursion Theory (Q5014598) (← links)
- Quantifiers on languages and codensity monads (Q5144687) (← links)
- Symmetry classes of quantum quasigroups (Q6564640) (← links)
