Solving Guarded Domain Equations in Presheaves Over Ordinals and Mechanizing It

Sergei Stepanenko and Amin Timany: Solving Guarded Domain Equations in Presheaves Over Ordinals and Mechanizing It. In TYPES'25, May 2025.
.pdf
The bibtex source for this publication:
@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/}
}