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