gratzer-2025-the:
  type: article
  title: The Yoneda embedding in simplicial type theory
  author:
  - Gratzer, Daniel
  - Weinberger, Jonathan
  - Buchholtz, Ulrik
  date: 2025-06
  page-range: 127-142
  serial-number:
    doi: 10.1109/lics65433.2025.00017
  parent:
    type: proceedings
    title: 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
    publisher: IEEE