A small complete category (1988)

by J M E Hyland
Venue:Ann. Pure Appl. Logic