Tom de Jong

Scopri il campo in espansione della Teoria dei Tipi di Omotopia e le sue implicazioni.

Scopri la teoria dei domini e la sua importanza nella logica e nella scienza informatica.

Uno sguardo alla teoria dei domini e alle sue strutture usando le fondamenta univalenti.