stepanenko-2025-solving:
  type: article
  title: Solving Guarded Domain Equations in Presheaves over Ordinals and Mechanizing It
  author:
  - Stepanenko, Sergei
  - Timany, Amin
  date: 2025
  page-range: 33:1-33:24
  url: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2025.33
  serial-number:
    doi: 10.4230/LIPICS.FSCD.2025.33
  parent:
    type: proceedings
    title: 10th International Conference on Formal Structures for Computation and Deduction (FSCD 2025)
    publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
    volume: 337