A small complete category (1987)

by J M E Hyland
Venue:the proceedings of the Conference on Church's Thesis: Fifty Years Later