3 ms·
The 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
by layoutIfNeeded 6y ago
The 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?