Sign in
Jasper Hugunin
ORCID
Publication Activity (10 Years)
Years Active: 2019-2020
Publications (10 Years): 2
Top Topics
Rule Learning
Deductive Reasoning
Theoretical Basis
Database
Top Venues
FoSSaCS
TYPES
</>
Publications
</>
Jasper Hugunin
Why Not W?
TYPES
(2020)
Jasper Hugunin
Constructing Inductive-Inductive Types in Cubical Type Theory.
FoSSaCS
(2019)