Le moteur de recherche
des thèses françaises
Nicolas Tabareau
IdRefMots clés
FR |
EN
Théorie des types
Coq
Lambda-calcul
ML (langage de programmation)
Coq (logiciel)
Langages de programmation fonctionnelle
Monades
Théorèmes -- Démonstration automatique
Sémantique
Assistant de preuve
Insignifiance des preuves
Univers
Uip
Assistants de preuve
Décidabilité (logique mathématique)
Théorie de la démonstration
Ornements (informatique)
Relations logiques
Refactorisation
Types (informatique)