Fosco Loregian

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.