Setoids in type theory (0)

by Gilles Barthe, Venanzio Capretta, Olivier Pons
Venue:Journal of Functional Programming