Niels van der Weide
Niels van der Weide
Verified email at cs.ru.nl - Homepage
Title
Cited by
Cited by
Year
Higher inductive types in programming
H Basold, H Geuvers, NM van der Weide
282017
Finite sets in homotopy type theory
D Frumin, H Geuvers, L Gondelman, N Weide
Proceedings of the 7th ACM SIGPLAN International Conference on Certified …, 2018
112018
Higher inductive types
N van der Weide
Radboud University, Nijmegen. Master’s thesis, 2016
92016
Bicategories in univalent foundations
B Ahrens, D Frumin, M Maggesi, N Veltri, N van der Weide
arXiv preprint arXiv:1903.01152, 2019
62019
Guarded recursion in agda via sized types
N Veltri, NM van der Weide
Dagstuhl: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2019
62019
The construction of set-truncated higher inductive types
N van der Weide, H Geuvers
Electronic Notes in Theoretical Computer Science 347, 261-280, 2019
32019
Constructing Higher Inductive Types as Groupoid Quotients
N van der Weide
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer …, 2020
12020
Constructing Higher Inductive Types as Groupoid Quotients
N Veltri, N van der Weide
arXiv e-prints, arXiv: 2002.08150, 2020
2020
Constructing Higher Inductive Types
NM van der Weide
[Sl: sn], 2020
2020
Free Algebraic Theories as Higher Inductive Types
H Basold, N van der Weide, N Veltri
2019
1-Types versus Groupoids
N van der Weide, D Frumin, H Geuvers
TYPES 2018, 86, 2018
2018
Computing Exact Solutions of Initial Value Problems
N van der Weide
Model Structures on Toposes
N van der Weide
The system can't perform the operation now. Try again later.
Articles 1–13