Setoids in type theory. (2003)

by G Barthe, V Capretta, O Pons
Venue:J. Funct. Program.,