conf.researchr.org / Gaetan Gilbert
Not registered as user yet
Name: Gaetan Gilbert
Contributions
POPL 2019 | Author of Definitional Proof-Irrelevance without K within the Research Papers-track |
CPP 2017 | Author of Formalising Real Numbers in Homotopy Type Theory within the CPP-track |