Our paper “Non-Wellfounded Derivations for Intersection Subtyping with Fixpoints” (with Olivier Laurent) has been accepted at FSCD 2026. PDF.