Solving Guarded Domain Equations in Presheaves over Ordinals and Mechanizing It.

Sergei Stepanenko, Amin Timany

Browse the full FSCD paper archive.