ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "C-type"
C-type
Osoba
Předměty
Osoby
Publikace
Studium
Mgr. Tomáš Svoboda
Externí osoba na Matematicko-fyzikální fakulta
1 publikace
Publikace
publication
Additive Types in Quantitative Type Theory
2022 |
Matematicko-fyzikální fakulta
Loading network view...