Galois Connections.
Horst Herrlich, Miroslav Husek
VenueBMFPS
Year1985
ProceedingsMathematical Foundations of Programming Semantics
DBLP recordconf/mfps/HerrlichH85 ↗
Browse the full MFPS paper archive.
Horst Herrlich, Miroslav Husek
Browse the full MFPS paper archive.