Castuner

Computational Higher-Dimensional Type Theory

Hou, KTuesday 4th July 2017 - 10:30 to 11:30

Strona podcastu

Słuchaj w swojej aplikacji

Odcinki

Nie ma jeszcze odcinków.