O.: Setoids in type theory (2003)

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