Le moteur de recherche
des thèses françaises
Beniamino Accattoli
IdRefMots clés
FR |
EN
Lambda-calcul
Logique informatique
Lambda-Calcul
Systèmes de multi types
Lambda calcul
Appel-Par-Nécessité
Réduction utile
Calcul formel
Langages formels
Théorie de la démonstration
Langages de programmation -- syntaxe
Langages de programmation -- Syntaxe
Sémantique opérationnelle
Coinduction
Équivalence contextuelle
Appel-Par-Valeur
Équivalence de programmes
Langages de programmation fonctionnelle
Langages de programmation -- Sémantique
Logique mathématique