Quotients in Simple Type Theory (1994)

by B Jacobs
Venue:Mathematics Institute