Thomas Ehrhard
Mots clés
FR |
EN
Lambda-calcul
Logique mathématique
Sémantique dénotationnelle
Langages de programmation -- Sémantique
Théorie de la démonstration
Logique de seuil
Calcul différentiel
Topologie
Logique linéaire
Langages de programmation
Contenu calculatoire de preuves classiques
Effets de bord
Axiomes du choix dépendant
Evaluation paresseuse
Réalisabilité classique
Algèbres implicatives
Types dépendants
Forcing (mathématiques)
Logique linéaire différentielle
Espaces vectoriels