Pietro Sabelli

Una mirada a la conexión entre los tipos W y la topología formal en matemáticas.

Una guía clara sobre definiciones inductivas y coinductivas y su importancia.

Un nuevo enfoque a los fundamentos de las matemáticas centrado en la claridad y la estructura.