1. Bencivenga, Ermanno (1986): “Free Logics”, in Dov M.Gabbay, Franz Guenthner, eds., Handbook of Philosophical Logic, vol. 3, Dordrecht: Reidel, 373–426.
2. Church, Alonzo (1973): Review of Scott (1967), in The Journal of Symbolic Logic
38, 166–169.
3. Constable, Robert L./Smith, Scott Fraser (1987): “Partial Objects in Constructive Type Theory”, in Proceedings of the Second IEEE Symposium on Logic in Computer Science, Ithaca/NY, Los Alamitos/CA: IEEE Computer Society Press, 183–193.
4. Dalen, Dirk van (1986): “Intuitionistic Logic”, in Dov M. Gabbay, Franz Guenthner, eds., Handbook of Philosophical Logic, vol. 3, Dordrecht: Reidel, 327–332.
5. Fourman, Michael P. (1974): Connections between Category Theory and Logic, Ph.D. Thesis (Oxford University).