ℹ️
🇬🇧
Search
Search for people relevant for "quantitative type theory"
quantitative type theory
Person
Class
Person
Publication
Programmes
Export current view
person
Mgr. Tomáš Svoboda
Faculty of Mathematics and Physics
person
Mgr. Vít Šefl
Faculty of Mathematics and Physics
