A Topological Framework of cpos Lacking Bottom Elements - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Austin Melton, David A. Schmidt. A Topological Framework of cpos Lacking Bottom Elements. 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 196-204, Springer, 1985.

The following publications are possibly variants of this publication:

Topological Spaces for CposAustin Melton. category 1989: 302-314

Topological systems as a framework for institutionsJeffrey T. Denniston, Austin Melton, Stephen Ernest Rodabaugh, Sergey A. Solovyov. fss, 298:91-108, 2016. [doi]

runs on WebDSL