Le moteur de recherche
des thèses françaises
Nicola Gambino
IdRefMots clés
FR |
EN
Opétope
Monade polynomiale
Construction de Baez-Dolan
Calcul de séquent
Algèbre opétopique
Oprérade
Combinade
Logique monadique du second-ordre
Arbres (théorie des graphes)
Points fixes de types
Logique Linéaire
Sémantique catégorielle
Sémantique dénotationnelle
Point fixe, Théorème du
Logique de seuil
Logique informatique
Langages de programmation -- Sémantique
Lambda-calcul