Joyal, A. and G. E. Reyes. Forcing and generic models in categorical logic.16 pages.
(1978) (TT&CL)