André Joyal
IdRefMots clés
FR |
EN
Logique mathématique
Logique catégorique
Logique linéaire
Sémantique dénotationnelle
Bicatégories
Orthogonalité
Logique de seuil
Dualité de Stone
Espaces compacts ordonnés
Théorie des modèles
Monoïdes profinis
Espaces compacts
Monoïdes
Preuves circulaires
Catégories µ-Bicomplètes
Points fixes
Algèbres initiales
Coalgèbres finales
Élimination des coupures
Automates à pile d'ordre supérieur