conf.researchr.org / Jasper Hugunin
Not registered as user yet
Name:Jasper Hugunin
Contributions
FOSSACS 2019 | Author of Constructing Inductive-Inductive Types in Cubical Type Theory within the FOSSACS 2019-track |
Not registered as user yet
Contributions
FOSSACS 2019 | Author of Constructing Inductive-Inductive Types in Cubical Type Theory within the FOSSACS 2019-track |