Le moteur de recherche
des thèses françaises
Jean-Louis Krivine
IdRefMots clés
FR |
EN
Lambda-calcul
Logique mathématique
Théorie de la démonstration
Isomorphisme de Curry-Howard
Axiome du choix
TCP/IP (protocole de réseaux d'ordinateurs)
Complexité de calcul (informatique)
Sciences appliquees
Informatique, automatique theorique, systemes
Programmation
Demonstration automatique
Lambda calcul
Preuve programme
Correction
Programming
Automatic proving
Lambda calculus
Program proof
Corrections
Sémantique