Roland Carl Backhouse. Galois Connections and Fixed Point Calculus. In Roland Carl Backhouse, Roy L. Crole, Jeremy Gibbons, editors, Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures. Volume 2297 of Lecture Notes in Computer Science, pages 89-148, Springer, 2000. [doi]
@inproceedings{Backhouse00,
title = {Galois Connections and Fixed Point Calculus},
author = {Roland Carl Backhouse},
year = {2000},
url = {http://link.springer.de/link/service/series/0558/bibs/2297/22970089.htm},
researchr = {https://researchr.org/publication/Backhouse00},
cites = {0},
citedby = {0},
pages = {89-148},
booktitle = {Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures},
editor = {Roland Carl Backhouse and Roy L. Crole and Jeremy Gibbons},
volume = {2297},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-43613-8},
}