Solving Guarded Domain Equations in Presheaves Over Ordinals and Mechanizing It

In TYPES'25 Unpublished Workshop Presentation
Sergei Stepanenko and Amin Timany. Solving Guarded Domain Equations in Presheaves Over Ordinals and Mechanizing It. In TYPES'25, May 2025.
  • Links: .pdf
  • Keywords: Domain Equations, Guarded Fixed Points, Fixed Points, Category Theory, Rocq, Presheaves, Ordinals
BibTeX
@inproceedings{Types25-guarded-dom,
  author = {Sergei Stepanenko and Amin Timany},
  title = {{Solving Guarded Domain Equations in Presheaves Over Ordinals and Mechanizing It}},
  booktitle = {Types},
  year = {2025},
  month = {June},
  url = {https://msp.cis.strath.ac.uk/types2025/}
}