Παρακολούθηση
Gabe Dijkstra
Gabe Dijkstra
PhD candidate Computer Science, University of Nottingham
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cs.nott.ac.uk
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–6