Program Equivalence is Coinductive.

Dirk Pattinson, Lutz Schrder

Browse the full LICS paper archive.