A small complete category" Lecture delivered at the Conference Church's Thesis after 50 years (1987)

by M Hyland
Venue:Zeiss (NL