Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Delia Kesner
Delia Kesner
at_id:
orcid_id:
Disciplines:
Applied sciences
Computer sciences
Edit
Merge
See Links
Thesis:
La definition de fonctions par cas a l'aide de motifs dans des langages applicatifs
Directed Thesis:
Opérateurs de typage non-idempotents, au delà du lambda-calcul
La plein paresse, une certain optimalité : partage de sous-termes et stratégies de réduction en réécriture d'ordre supérieur
Les ressources explicites vues par la théorie de la réécriture
Normalisation et équivalence en théorie de la démonstration et théorie des types
Réécriture d'ordre supérieur avec motifs
Substitutions explicites et reecriture de termes