Setoids in Intensional Type Theory | Digital Library | PAMCET | PAMCET