Quotients in simple type theory. available from the Hypatia Electronic Library: http://hypatia.dcs.qmw.ac.uk (1994)

by B Jacobs