237 followers
3,159 followers
Local States in String Diagrams https://t.co/bhsVeLUIG3
221 followers
Implicational Relevance Logic is 2-EXPTIME-Complete https://t.co/tYu7z1W7wf
6,140 followers
#Publication - Unnesting of copatterns | Inductive data such as finite lists and trees can elegantly be defined by… https://t.co/48Dh1AKlhD