Pieter Hofstra
IdRefMots clés
FR |
EN
Logique mathématique
Automates de mots infinis
Logique
Logique linéaire
Mathématiques à rebours
Dialectica
Preuves circulaires
Logique catégorique
Catégories µ-Bicomplètes
Points fixes
Algèbres initiales
Coalgèbres finales
Élimination des coupures
Automates à pile d'ordre supérieur
Théorie de la démonstration
Déduction (logique)
Informatique -- Mathématiques