Le moteur de recherche
des thèses françaises
Colin Riba
IdRefMots clés
FR |
EN
Lambda-calcul
Logique
Logique mathématique
Réalisabilité classique
Théorie de la démonstration
Réécriture
Réécriture conditionnelle
Confluence
Typage
Types union
Normalisation forte
Candidats de réductibilité
Ensembles saturés
Biorthogonalité
Logique combinatoire
Sémantique des jeux de Hyland et Ong
Réalisabilité
Axiome du choix
Bar-récursion
Lambda-mu calcul