Luke Ong
IdRefMots clés
FR |
EN
Théorie de la démonstration
Logique mathématique
Sémantique catégorique
Lambda-calcul
Preuves circulaire et infinitaires
Élimination des coupures
Omega-automates
Axiomatisation de Kozen
Informatique -- Mathématiques
Mu-calcul
Typage
Filtrage
Polymorphisme
Normalisation forte
Candidats de réductibilité
CPS
Modèles par continuation
Types intersections
Réseaux de preuve
Logique de seuil