Passer au contenu principal
Si vous continuez à consulter ce site web, vous acceptez nos politiques :
Condizioni di utilizzo e trattamento dei dati
Continuer
x
Français (fr)
English (en)
Français (fr)
Italiano (it)
Vous êtes connecté anonymement
Connexion
Macroarea STEM
Accueil
Calendrier
My Media
Accueil
Calendrier
My Media
Plus
TYPE THEORY 2024-2025 - SCQ1098250
Options d’inscription
TYPE THEORY 2024-2025 - SCQ1098250
Type theory: a bridge between mathematics and computer science through
a set theory where sets are types and proofs are programs.
Enseignant:
Maria Emilia Maietti
Auto-inscription (Étudiant)
Auto-inscription (Étudiant)
Auto-inscription (Étudiant)
Les visiteurs anonymes ne peuvent pas accéder à ce cours. Veuillez vous connecter.
Continuer