Follow
Gabe Dijkstra
Gabe Dijkstra
PhD candidate Computer Science, University of Nottingham
Verified email at cs.nott.ac.uk
Title
Cited by
Cited by
Year
Quotient inductive-inductive types
T Altenkirch, P Capriotti, G Dijkstra, N Kraus, F Nordvall Forsberg
International Conference on Foundations of Software Science and Computation …, 2018
772018
Quotient inductive-inductive definitions.
G Dijkstra
University of Nottingham, 2017
172017
Towards a theory of higher inductive types
T Altenkirch, P Capriotti, G Dijkstra, FN Forsberg
Presentation at TYPES 15, 13-15, 2015
32015
Programming in homotopy type theory and erasing propositions
G Dijkstra
12013
Experimentation project report: Translating Haskell programs to Coq programs
G Dijkstra
Experimentation Project. Utrecht University 17, 2012
12012
Specifying Quotient Inductive-Inductive Types
T Altenkirch, P Capriotti, G Dijkstra, N Kraus, FN Forsberg
TYPES 2018, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–6