Quotients in simple type theory. Unpublished Manuscript. Available at http://www.cwi.nl/~bjacobs/drafts.html (1991)

by B Jacobs