Code
01Y00922
Looptijd
01-02-2022 → 31-01-2027
Financiering
Gewestelijke en gemeenschapsmiddelen: Bijzonder Onderzoeksfonds
Promotor
Mandaathouder
Onderzoeksdisciplines
-
Natural sciences
- Category theory, homological algebra
Trefwoorden
Bewijstheorie
logica
Projectomschrijving