ℹ️
🇨🇿
Hledání
Hledat publikace relevantní k dotazu "dependent types"
dependent types
Publikace
Předměty
Osoby
Publikace
Studium
publication
Additive Types in Quantitative Type Theory
2022 |
Matematicko-fyzikální fakulta
publication
How to study formation of political systems after the transition to democracy: possibilities and limitations
+1
2015 |
Matematicko-fyzikální fakulta, Fakulta sociálních věd
publication
Lightweight Verification of Array Indexing
2018 |
Matematicko-fyzikální fakulta
publication
Inborn errors of type I IFN immunity in patients with life-threatening COVID-19
2020 |
1. lékařská fakulta, 2. lékařská fakulta
publication
Beauty and Critical Art: Is Beauty at Odds with Critical-Political Engagement?
2015 |
Fakulta sociálních věd