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