Disciplines Institutions Contribute Search
Add Thesis Add Researcher Add Institution
researcher / Stéphane Lengrand

Stéphane Lengrand

at_id:

orcid_id:

Disciplines:

Computer sciences
Edit Merge See Links

Thesis:

Normalisation et équivalence en théorie de la démonstration et théorie des types

Directed Thesis:

Interoperability between proof systems using the logical framework Dedukti
Non idempotent-intersection types to refine strong normalisation with quantitative information
Automated Reasoning Techniques as Proof-search in Sequent Calculus