## References

- [1] S. Bernow and P. Raskin, Ecology of Scientific Consciousness. Telos 28, Summer (1976).
- [2] 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.
- [3] 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.
- [4] 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.
- [5] F.W. Lawvere, Metric Spaces, Generalized Logic, and Closed Categories. Seminario Matematico E. Fisico. Rendiconti. Milan. 43 (1973), 135-166.

Comments

There are no comments yet.