Fosco Loregian

Une vue simplifiée des automates et de leurs fondements mathématiques.

Un aperçu du concept et des applications des fibrations en mathématiques.

Examiner le rôle de l'égalité propositionnelle dans la théorie des types et ses implications.