Niels van der Weide
Identifiers
- name variant Niels van der Weide 0.60 · backfill
Papers (1)
- Univalent Enriched Categories and the Enriched Rezk Completion cs.LO · 2024 · author #1
Mentions
- 2401.11752 #1 · arxiv_oai · confidence 0.70 Niels van der Weide