Linear types <- linear logic <- linear algebra. See here: See here: https://www.cs.bham.ac.uk/~drg/bll/steve.pdf https://www.cs.bham.ac.uk/~drg/bll/steve.pdf T

Linear types <- linear logic <- linear algebra. See here: See here: https://www.cs.bham.ac.uk/~drg/bll/steve.pdf https://www.cs.bham.ac.uk/~drg/bll/steve.pdf There's also "affine logic" which riffs on the same thing.