Tom de Jong

Descubre el campo en expansión de la Teoría de Tipos de Homotopía y sus implicaciones.

Aprende sobre la teoría de dominios y su importancia en la lógica y la informática.

Una mirada a la teoría de dominios y sus estructuras usando fundamentos univalentes.