Cartesian Closed Categories of Domains and the Space Proj(D)

Michael Huth. Cartesian Closed Categories of Domains and the Space Proj(D). In Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt, editors, Mathematical Foundations of Programming Semantics, 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991, Proceedings. Volume 598 of Lecture Notes in Computer Science, pages 259-271, Springer, 1991.

Abstract

Abstract is missing.