Aller directement à la barre de recherche

Le moteur de recherche
des thèses françaises

Désactiver l'aide à la saisie

Valentin Blot

Mots clés

FR |

EN

Sémantique des jeux de Hyland et Ong

Réalisabilité

Axiome du choix

Lambda-mu calcul

Logique classique

Arithmétique de Peano