Scholar

Niels van der Weide

Google Scholar ID: ojzs8y8AAAAJ

Radboud University

Homotopy Type Theory

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

194

H-index

7

i10-index

6

Publications

20

Co-authors

0

Contact

No contact links provided.

Publications

4 items

Impredicativity in Linear Dependent Type Theory

2026

Cited

0

The Rezk Completion for Elementary Topoi

arXiv.org · 2026

Cited

0

Initial Algebras of Domains via Quotient Inductive-Inductive Types

2025

Cited

0

The Formal Theory of Monads, Univalently

International Conference on Formal Structures for Computation and Deduction · 2022

Cited

3

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)