Knowledge Tree

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