Computational Higher-Dimensional Type Theory
Hou, KTuesday 4th July 2017 - 10:30 to 11:30
Entzun zure aplikazioan
Atalak
Oraindik ez dago atalik.
Hou, KTuesday 4th July 2017 - 10:30 to 11:30
Oraindik ez dago atalik.