Désactiver l'autocomplétion

Recherche avancée

Uniquement les thèses soutenues Uniquement les thèses soutenues accessibles en ligne

SIGNALER une erreur

personne précédente

personne suivante

Alexis Bernadet

est l'auteur d'une thèse

Lambda-calcul Logique de seuil Normalisation forte Point fixe Substitutions explicites Système F Sémantique dénotationnelle Types intersections

Fullscreen

Lambda-calcul Logique de seuil Normalisation forte Point fixe Substitutions explicites Système F Sémantique dénotationnelle Types intersections

Alexis Bernadet a rédigé la thèse suivante :

Non idempotent-intersection types to refine strong normalisation with quantitative information

par Alexis Bernadet sous la direction de Benjamin Werner - Palaiseau, Ecole polytechnique

Informatique

Soutenue en 2014

Thèse soutenue

Accéder en ligne