Disciplines Institutions Contribute Search
Add Thesis Add Researcher Add Institution
researcher / Karim Nour

Karim Nour

at_id:

orcid_id:

Disciplines:

Applied sciences
Computer sciences
Mathematics
Edit Merge See Links

Thesis:

Operateurs de mise en memoire en lambda-calcul pur et type

Directed Thesis:

Sémantique et implantation d'une extension de ML pour la preuve de programmes
Etude d’un Lambda-calcul issu d’une logique classique
Propriétés de normalisation de calculs logiques symétriques
Types de données en logique du second ordre