J. M. E. Hyland
IdRefMots clés
FR |
EN
Logique mathématique
Sémantique selon la théorie des jeux
Langages de programmation
Forcing (mathématiques)
Sémantique dénotationnelle
Théorie de la démonstration
Langages de programmation -- Sémantique
Modèles bicategoriels de la logique linéaire
Stratégies innocentes
Logique de seuil
Réalisabilité classique
Extraction de programme
Nombres réels
Isomorphisme de Curry-Howard
Sémantique des jeux
Concurrence
Structures d’évènements
Modèles mémoires faibles
Sémantique
La logique classique