Lukas' Notes
Search titles, aliases and note text. Use # for tags.
Retry
Dark mode
Light mode
Tag: linear-logic
8 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
Tangent Space
linear-logic