Galois connections and computer science applications, in: D.H. Pitt et al (1986)

by A Melton, D A Schmidt, G Strecker
Venue:Eds.), Category Theory and Computer Programming, Lecture Notes in Computer Science