-  S. Bernow and P. Raskin, Ecology of Scientific Consciousness. Telos 28, Summer (1976).
-  R.E. Kent, The Metric Closure Powerspace Construction. Third Workshop on the Mathematical Foundations of Programming Language Semantics (1987), Tulane University. LNCS (1988), Springer-Verlag, New York.
-  R.E. Kent, Dialectical Development in First Order Logic: II: Horn Clause Logic Programming. manuscript to be submitted to the Logic in Computer Science conference 1988.
-  F.W. Lawvere, Equality in Hyperdoctrines and the Comprehension Schema as an Adjoint Functor. In, Proceedings New York Symposium on Applications of Categorical Logic (A. Heller, ed.), American Mathematical Society (1970), 1-14.
-  F.W. Lawvere, Metric Spaces, Generalized Logic, and Closed Categories. Seminario Matematico E. Fisico. Rendiconti. Milan. 43 (1973), 135-166.