Fosco Loregian

Uno sguardo semplificato agli automi e le loro fondamenta matematiche.

Uno sguardo al concetto e alle applicazioni delle fibrato in matematica.

Esaminare il ruolo dell'uguaglianza proposizionale nella teoria dei tipi e le sue implicazioni.