@inproceedings{stepanenko-2025-solving,
  doi = {10.4230/LIPICS.FSCD.2025.33},
  url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2025.33},
  author = {Stepanenko, Sergei and Timany, Amin},
  keywords = {Domain Equations, Guarded Fixed Points, Fixed Points, Category Theory, Rocq, Presheaves, Ordinals, Theory of computation → Modal and temporal logics, Theory of computation → Type theory, Theory of computation → Denotational semantics, Theory of computation → Categorical semantics},
  language = {en},
  title = {Solving Guarded Domain Equations in Presheaves over Ordinals and Mechanizing It},
  volume = {337},
  pages = {33:1-33:24},
  publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},
  year = {2025},
  copyright = {Creative Commons Attribution 4.0 International license},
  booktitle = {10th International Conference on Formal Structures for Computation and Deduction (FSCD 2025)}
}