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