3 ms·

https://en.wikipedia.org/wiki/Substructural_type_system#Linear_type_systems https://en.wikipedia.org/wiki/Substructural_type_system#Line...

• empath75 6y ago
  That doesn’t really answer his question. https://math.stackexchange.com/questions/2339147/why-is-it-called-linear-logic/2339157 https://math.stackexchange.com/questions/2339147/why-is-it-c... Apparently there is some connection to vector spaces in the structure of linear logic which linear types are based on.