Läser in ...
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Citat per år
Dubblettcitat
Följande artiklar är sammanfogade i Scholar. Deras
kombinerade citat
räknas endast för den första artikeln.
Sammanfogade citat
Antalet "Citeras av" inkluderar citat till följande artiklar i Scholar. Stjärnmärkta
*
citat kan skilja sig från artikeln i profilen.
Lägg till medförfattare
Medförfattare
Följ
Nya artiklar av denna författare
Nya källreferenser till denna författare
Nya artiklar relaterade till denna författares forskning
E-postadress för uppdateringar
Klar
Min profil
Mitt bibliotek
Statistik
Meddelande
Inställningar
Logga in
Logga in
Skapa en profil
Citeras av
Alla
Sedan 2019
Citat
99
70
h-index
3
2
i10-index
2
2
0
20
10
2016
2017
2018
2019
2020
2021
2022
2023
2024
3
13
11
6
18
19
13
11
3
Följ
Gabe Dijkstra
PhD candidate Computer Science,
University of Nottingham
Verifierad e-postadress på cs.nott.ac.uk
Homotopy type theory
functional programming
Artiklar
Citeras av
Titel
Sortera
Sortera efter citat
Sortera efter år
Sortera efter 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
77
2018
Quotient inductive-inductive definitions.
G Dijkstra
University of Nottingham
, 2017
17
2017
Towards a theory of higher inductive types
T Altenkirch, P Capriotti, G Dijkstra, FN Forsberg
Presentation at TYPES 15, 13-15
, 2015
3
2015
Programming in homotopy type theory and erasing propositions
G Dijkstra
1
2013
Experimentation project report: Translating Haskell programs to Coq programs
G Dijkstra
Experimentation Project. Utrecht University 17
, 2012
1
2012
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
Visa fler
Integritet
Villkor
Hjälp
Om Scholar
Sök i hjälpen