Tom de Jong

Entdecke das wachsende Feld der Homotopietypentheorie und ihre Auswirkungen.

Lern was über die Domänentheorie und warum sie in Logik und Informatik wichtig ist.

Ein Blick auf die Domänentheorie und ihre Strukturen mithilfe univalenter Grundlagen.