Pseudo-Retract Functors for Local Lattices and Bifinite L-domains.
VenueBMFPS
Year1989
ProceedingsMathematical Foundations of Programming Semantics
DBLP recordconf/mfps/Gunter89 ↗
Browse the full MFPS paper archive.
Browse the full MFPS paper archive.