Observational Equality Meets CIC.

Loc Pujet, Nicolas Tabareau

Browse the full ESOP paper archive.