Alexandre Miquel
IdRefMots clés
FR |
EN
Réalisabilité classique
Forcing (mathématiques)
Lambda-calcul
Théorie de la démonstration
Logiciels -- Vérification
Typage
Filtrage
Polymorphisme
Normalisation forte
Candidats de réductibilité
Sémantique catégorique
CPS
Modèles par continuation
Extraction de programme
Nombres réels
Isomorphisme de Curry-Howard
Théorie des types
Contenu calculatoire de preuves classiques
Effets de bord
Axiomes du choix dépendant