@inproceedings{sterling-2024-towards,
  doi = {10.4230/LIPICS.CSL.2024.47},
  url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2024.47},
  author = {Sterling, Jonathan and Gratzer, Daniel and Birkedal, Lars},
  keywords = {univalent foundations, homotopy type theory, impredicative encodings, synthetic guarded domain theory, guarded recursion, higher-order store, reference types, Theory of computation → Denotational semantics, Theory of computation → Categorical semantics, Theory of computation → Type structures, Theory of computation → Type theory},
  language = {en},
  title = {Towards Univalent Reference Types: The Impact of Univalence on Denotational Semantics},
  volume = {288},
  pages = {47:1-47:21},
  publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},
  year = {2024},
  copyright = {Creative Commons Attribution 4.0 International license},
  booktitle = {32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)}
}