Samuel Mimram
IdRefMots clés
FR |
EN
Catégories supérieures
Catégories (mathématiques)
Théorie des types
Sémantique
Homotopie
Logique de seuil
Logique monadique du second-ordre
Réécriture
Problème du mot
Théorie des catégories
Concurrence
Théorie de la démonstration
Topologie
Théorie des types homotopiques
Sémantique dénotationnelle
Sémantique selon la théorie des jeux
Langages de programmation
Développement de Taylor
Appel-par-pousse-valeur
Réseaux de preuve