Initial Algebra Correspondence under Reachability Conditions.

Mayuko Kori, Kazuki Watanabe, Jurriaan Rot

Browse the full LICS paper archive.