Tom de Jong

Découvre le domaine en pleine expansion de la Théorie des Types de Homotopie et ses implications.

Apprends sur la théorie des domaines et son importance en logique et en informatique.

Un aperçu de la théorie des domaines et de ses structures en utilisant des fondations univalentes.