vanderweide-2024-the:
  type: chapter
  title: The Interval Domain in Homotopy Type Theory
  author:
  - name: Weide
    given-name: Niels
    prefix: van der
  - Frumin, Dan
  date: 2024
  page-range: 241-256
  url: http://dx.doi.org/10.1007/978-3-031-61716-4_16
  serial-number:
    doi: 10.1007/978-3-031-61716-4_16
    isbn: '9783031617164'
    issn: 1611-3349
  parent:
    type: book
    title: Logics and Type Systems in Theory and Practice
    publisher: Springer Nature Switzerland