Le moteur de recherche
des thèses françaises
Pierre-Louis Curien
IdRefMots clés
FR |
EN
Lambda-calcul
Théorie de la démonstration
Logique mathématique
Sémantique selon la théorie des jeux
Concurrence
Catégories (mathématiques)
Opérades
Monoïdes
Homotopie
Factorisation
Sémantique
Algèbre linéaire
Isomorphismes (mathématiques)
Théorie des types
Monoïde
Réécriture
Sémantique des jeux
Sémantique des jeux de Hyland et Ong
Réalisabilité
Axiome du choix