Computational Higher-Dimensional Type Theory
Hou, KTuesday 4th July 2017 - 10:30 to 11:30
Listen in your app
Episodes
No episodes yet.
Hou, KTuesday 4th July 2017 - 10:30 to 11:30
No episodes yet.