Galois connections and fixed point calculus, in: Algebraic and Coalgebraic (0)

by R C Backhouse
Venue:Methods in the Mathematics of Program Construction