rasekh-2025-insights:
  type: article
  title: 'Insights from Univalent Foundations: A Case Study Using Double Categories'
  author:
  - Rasekh, Nima
  - name: Weide
    given-name: Niels
    prefix: van der
  - Ahrens, Benedikt
  - North, Paige Randall
  date: 2025
  page-range: 45:1-45:18
  url: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2025.45
  serial-number:
    doi: 10.4230/LIPICS.CSL.2025.45
  parent:
    type: proceedings
    title: 33rd EACSL Annual Conference on Computer Science Logic (CSL 2025)
    publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
    volume: 326