4 ms·
why aren't linear types called acyclic types?
by array_bullock 4y ago
why aren't linear types called acyclic types?
- l- 4y agohttps://en.wikipedia.org/wiki/Noncommutative_logic#Cyclic_linear_logic https://en.wikipedia.org/wiki/Noncommutative_logic#Cyclic_li...