• Sign in
  • Sign up
conf.researchr.org / Jasper Hugunin
  • ETAPS 2019 profile

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

Share
xWed 8 Feb 21:32
using conf.researchr.org (v1.58.0)
Support page
Sign Up