Följ
Gabe Dijkstra
Gabe Dijkstra
PhD candidate Computer Science, University of Nottingham
Verifierad e-postadress på cs.nott.ac.uk
Titel
Citeras av
Citeras av
År
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–6