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
302017
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
152018
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
82019
The construction of set-truncated higher inductive types
N van der Weide, H Geuvers
Electronic Notes in Theoretical Computer Science 347, 261-280, 2019
52019
Guarded recursion in agda via sized types
N Veltri, NM van der Weide
Dagstuhl: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2019
52019
Constructing Higher Inductive Types as Groupoid Quotients
N van der Weide, N Veltri
Logical Methods in Computer Science 17, 2021
22021
Constructing Higher Inductive Types as Groupoid Quotients
N Veltri, N van der Weide
arXiv preprint 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