Pierre-Louis Curien
IdRefMots clés
FR |
EN
Lambda-calcul
Théorie de la démonstration
Logique mathématique
Concurrence
Sémantique selon la théorie des jeux
Factorisation
Catégories (mathématiques)
Homotopie
Monoïdes
Opérades
Théorie des types
Monoïde
Réécriture
Sémantique
Algèbre linéaire
Sémantique des jeux
Isomorphismes (mathématiques)
Pi-calcul
Preuves circulaire et infinitaires
Élimination des coupures