Jirí Adámek, Horst Herrlich. Cartesian Closed Categories, Quasitopoi and Topological Universes. In Austin Melton, editor, Mathematical Foundations of Programming Semantics, International Conference, Manhattan, Kansas, USA, April 11-12, 1985, Proceedings. Volume 239 of Lecture Notes in Computer Science, pages 20-41, Springer, 1985.
Abstract is missing.