Castuner

Computational Higher-Dimensional Type Theory

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

Web do podcast

Escóitao na túa aplicación

Episodios

Aínda non hai episodios.