Le moteur de recherche
des thèses françaises
Étienne Miquey
IdRefMots clés
FR |
EN
Contenu calculatoire de preuves classiques
Effets de bord
Axiomes du choix dépendant
Evaluation paresseuse
Réalisabilité classique
Algèbres implicatives
Types dépendants
Théorie de la démonstration
Forcing (mathématiques)
Théorie des types
Assistants à la Preuve
Modèles syntaxiques
Preuve de Normalisation
Programmation (informatique)