Non-Wellfounded Derivations for Intersection Subtyping with Fixpoints.

Olivier Laurent, Jui-Hsuan Wu

Browse the full FSCD paper archive.