Galois connections and computer science applications (1986)

by A Melton, A Schmidt, D, E Strecker, G
Venue:In Proceedings of a tutorial and workshop on Category theory and computer programming