Continuous lattices : proceedings of the Conference on Topological and Categorical Aspects of Continuous Lattices (Workshop IV), held at the University of Bremen, Germany, November 9-11, 1979
Conference on Topological and Categorical Aspects of Continuous Lattices
Bok Språk ikke angitt 1981