Quotients in simple type theory, manuscript (1994)

by B Jacobs