palombi_sterling_2023:
  type: article
  title: 'Classifying topoi in synthetic guarded domain theory: the universal property of multi-clock guarded recursion'
  author:
  - Palombi, Daniele
  - Sterling, Jonathan
  date: 2023
  url: https://arxiv.org/abs/2210.04636
  note: MFPS XXXVIII; arXiv:2210.04636
  parent:
    type: periodical
    title: Electronic Notes in Theoretical Informatics and Computer Science
    volume: 1