Knowledge Tree

researcher / Guillaume Genestier

Guillaume Genestier

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Dependently-Typed Termination and Embedding of Extensional Universe-Polymorphic Type Theory using Rewriting