wullaert-2026-the:
  type: article
  title: The Rezk Completion for Elementary Topoi
  author:
  - Wullaert, Kobe
  - name: Weide
    given-name: Niels
    prefix: van der
  date: 2026
  page-range: 8:1-8:23
  url: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2025.8
  serial-number:
    doi: 10.4230/LIPICS.TYPES.2025.8
  parent:
    type: proceedings
    title: 31st International Conference on Types for Proofs and Programs (TYPES 2025)
    publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
    volume: 384