Knowledge Tree

researcher / Hugo Herbelin

Hugo Herbelin

at_id:

orcid_id:

Disciplines:

Applied sciences

Computer sciences

Edit Merge See Links

Thesis:

Sequents qu'on calcule : de l'interpretation du calcul des sequents comme calcul de lambda-termes et comme calcul de strategies gagnantes

Directed Thesis:

Challenges in the collaborative evolution of a proof language and its ecosystem

Incrementality and effect simulation in the simply typed lambda calculus

Une dialectica matérialiste

De nouveaux outils pour calculer avec des inductifs en Coq

Certificates for incremental type checking

Modular development of theories and name-space management for the Coq proof assistant

Investigation on the typing of equality in type systems

Preuves constructives de complétude et contrôle délimité

Formalisation et automatisation du raisonnement géométrique en Coq