3 ms·
This was published at the 2019 Conference on Applied Category Theory (ACT). You might find the other accepted papers interesting: http://www.cs.ox.ac.uk/ACT20
by benrbray 7y ago
This was published at the 2019 Conference on Applied Category Theory (ACT). You might find the other accepted papers interesting:
http://www.cs.ox.ac.uk/ACT2019/ http://www.cs.ox.ac.uk/ACT2019/