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