Knowledge Tree

researcher / Jean-Louis Krivine

Jean-Louis Krivine

at_id:

orcid_id:

Disciplines:

Applied sciences

Mathematics

Edit Merge See Links

Directed Thesis:

Jeux de réalisabilité en arithmétique classique

Quelques resultats sur la typabilite dans le systeme f

Réseaux de preuve, types principaux et lambda-termes

Des preuves de totalite de fonctions comme synthese de programmes

Syntaxe et semantique de la facilite en lambda-calcul

Théorie de la classification : "Dimensional Order Property" et paires de modèles, modèles dénombrables des théories ω-stables