On the complexity of equivalence of specifications of infinite objects.

Jrg Endrullis, Dimitri Hendriks, Rena Bakhshi

Browse the full ICFP paper archive.