Le moteur de recherche
des thèses françaises
Laurent Régnier
IdRefMots clés
FR |
EN |
ES
Lambda-calcul
Logique de seuil
Théorie de la démonstration
Logique linéaire
Logique mathématique
Développement de Taylor
Langages de programmation
Réalisabilité classique
Isomorphisme de Curry-Howard
Sémantique dénotationnelle
Preuves circulaires
Forcing (mathématiques)
Réseaux de preuves
Sémantique
Logique
Réalisabilité
Induction (mathématiques)
Informatique quantique
Géométrie de l'interaction
Élimination des coupures