Setoids in type theory (2003)

by G Barthes, V Capretta, O Pons
Venue:J. Funct. Programming