Divide and Check: Logical Relations, No Algorithms Attached.

Josselin Poiret, Kenji Maillard, Nicolas Tabareau

Browse the full FSCD paper archive.