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