Aller directement à la barre de recherche
Le moteur de recherche
des thèses françaises
Les thèses
Les personnes
liées aux thèses
Rechercher des thèses
Rechercher des thèses
Désactiver l'aide à la saisie
Recherche Avancée
Recherche Avancée
Ambrus
Kaposi
IdRef
Mots clés
FR
|
EN
Théorie des types
Modèles
Traduction de programme
Métaprogrammation
Théorie des types homotopique
Modèle cubique
ML (langage de programmation)
Théorie des types dépendants
Paramétricité
Modèles cubiques de la théorie des types
Objets colibres
Modèles paramétriques (statistique)
Logique informatique
Liste des thèses par rôle
Examinateur / Examinatrice pour 2 thèse(s)