Disciplines Institutions Contribute Search
Add Thesis Add Researcher Add Institution
researcher / Tristan Crolard

Tristan Crolard

at_id:

orcid_id:

Disciplines:

Applied sciences
Computer sciences
Edit Merge See Links

Thesis:

Extension de l'isomorphisme de curry-howard au traitement des exceptions (application d'une etude de la dualite en logique intuitionniste)

Directed Thesis:

Modèles de programmation de haut niveau pour microcontrôleurs à faibles ressources