Modaltyp-TheorienModaltyp-TheorienEntpacktmodale Typ-Theorien.Neue Erkenntnisse und Methoden fürKategorientheorieFortschritte in modaltypischen TheorienNeue Methoden und Interpretationen in modalem Typentheorien erkunden.2025-12-07T01:54:09+00:00 ― 4 min Lesedauer