About effective quotients in Constructive Type Theory (0)

by M E Maietti
Venue:International workshop, TYPES ’98. Kloster Irsee