Lukas' Notes
Search
Search
Dark mode
Light mode
Tag: linear-logic
9 items with this tag.
Additive Conjunction (Linear Logic)
linear-logic
Additive Disjunction (Linear Logic)
linear-logic
Affine Subspace
linear-logic
Affine Superposition
linear-logic
Inner Product Space
linear-logic
Multiplicative Conjunction (Linear Logic)
linear-logic
Multiplicative Disjunction (Linear Logic)
linear-logic
Positive Definite Symmetric Matrix
linear-logic
Tangent Space
linear-logic