Australian Category Seminar
About
Recent
Past
Speakers
Here is a list of all talks by William Troiani at the Australian Category Seminar.
2025
9 April
Programs as singularities: the geometry and derivatives of Turing machines when encoded into differential linear logic
(abs)