A small complete category (1988)

by J M E Hyland
Venue:Annals of Pure and Applied Logic