Gabe Dijkstra

Publication Activity (10 Years)

Years Active: 2016-2018
Publications (10 Years): 2

Top Topics

Search Algorithm

Multiresolution

Concept Learning

Top Venues

University of Nottingham, UK (PHD)

Education History

University of Nottingham, UK

PHD

Publications

Thorsten Altenkirch, Paolo Capriotti, Gabe Dijkstra, Nicolai Kraus, Fredrik Nordvall Forsberg
Quotient Inductive-Inductive Types. FoSSaCS (2018)
Thorsten Altenkirch, Paolo Capriotti, Gabe Dijkstra, Fredrik Nordvall Forsberg
Quotient inductive-inductive types. CoRR (2016)