Nick Benton
Mots clés
FR |
EN
Relation logique
Théorie des types
Réalisabilité
Paramétricité
Systèmes de types purs
Types dépendants
Isomorphisme de curry-howard
Lambda-calcul
Calcul des constructions
Coq
Assistants de preuve
Langages de programmation fonctionnelle
Théorie de la démonstration
Isomorphisme de Curry-Howard
Forcing
Equivalence contextuelle
Sémantique des jeux
Logique temporelle
Langages de programmation logique