3 ms·
I would love to read something about the connection between linear types, linear logic, and linear algebra. This seems like a deep and important connection, con
by canjobear 6y ago
I would love to read something about the connection between linear types, linear logic, and linear algebra. This seems like a deep and important connection, considering that modern ML is looking more and more like applied linear algebra.
- layoutIfNeeded 6y agoThe category of finite dimensional vector spaces over finite fields is a model of linear logic. http://www.cs.ox.ac.uk/ralf.hinze/WG2.8/30/slides/steve.pdf http://www.cs.ox.ac.uk/ralf.hinze/WG2.8/30/slides/steve.pdf
- drdeca 6y agoThanks! I notice that that translation there doesn’t seem to describe the operation par , only oplus, otimes, amp, linear implication, and the of-course operators. Do you know if the par operator can be expressed with this vector spaces over finite fields setup?