G. E. Reyes (1991). A topos-theoretic Approach to Reference and Modality. Notre
Dame Journal of Formal Logic. Volume 32, Number 3, 359-391.

Advertisements