Le moteur de recherche
des thèses françaises
Olivier Laurent
IdRefMots clés
FR |
EN
Sémantique dénotationnelle
Lambda-calcul
Sémantique des jeux
Concurrence
Réalisabilité
Programmation logique
Théorie de la démonstration
Langages de programmation -- Sémantique
Sémantique des jeux de Hyland et Ong
Axiome du choix
Bar-récursion
Lambda-mu calcul
Logique classique
Arithmétique de Peano
Isomorphisme de Curry-Howard
Programmation logique disjonctive
Théorie des langages de programmation
Coq
Logique mathématique
Structures d’évènements