sterling-2024-towards:
  type: article
  title: 'Towards Univalent Reference Types: The Impact of Univalence on Denotational Semantics'
  author:
  - Sterling, Jonathan
  - Gratzer, Daniel
  - Birkedal, Lars
  date: 2024
  page-range: 47:1-47:21
  url: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2024.47
  serial-number:
    doi: 10.4230/LIPICS.CSL.2024.47
  parent:
    type: proceedings
    title: 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)
    publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
    volume: 288