A Topological Framework of cpos Lacking Bottom Elements.
Austin Melton, David A. Schmidt
VenueBMFPS
Year1985
ProceedingsMathematical Foundations of Programming Semantics
DBLP recordconf/mfps/MeltonS85 ↗
Browse the full MFPS paper archive.
Austin Melton, David A. Schmidt
Browse the full MFPS paper archive.