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