Kock A. and G. E. Reyes (1977). Doctrines in categorical logic. In J. Barwise (ed.).
Handbook of Math. Logic, 283-313.

Advertisements