フォロー
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