Type theoretical topics in topos theory = Typetheoretische thema's in de topostheorie - Vries, Ferdinand J. de (1989)