Martin Hofmann
IdRefMots clés
FR |
EN
Théorie de la démonstration
Relation logique
Théorie des types
Preuves circulaire et infinitaires
Élimination des coupures
Omega-automates
Axiomatisation de Kozen
Informatique -- Mathématiques
Logique mathématique
Mu-calcul
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