A Lightweight Formalization of the Metatheory of Bisimulation-Up-To.

Kaustuv Chaudhuri, Matteo Cimini, Dale Miller

Browse the full CPP paper archive.