Le moteur de recherche
des thèses françaises
Thomas Streicher
IdRefMots clés
FR |
EN
Théorie de la démonstration
Homotopie
Théorie des types
Réalisabilité classique
Lambda-calcul
Sémantique des jeux de Hyland et Ong
Réalisabilité
Axiome du choix
Bar-récursion
Lambda-mu calcul
Logique classique
Arithmétique de Peano
Catégorie de modèles
Algèbre homotopique
Bifibration de Grothendieck
Modèles mathématiques
Fibrations (mathématiques)
Contenu calculatoire de preuves classiques
Effets de bord
Axiomes du choix dépendant