@inproceedings{3d4e0c97fd3946999ea07e9e785802a7,
title = "Categorical fixed point calculus",
abstract = "A number of lattice-theoretic fixed point rules are generalised to category theory and applied to the construction of isomorphisms between list structures.",
author = "R.C. Backhouse and M.L.L. Bijsterveld and {Geldrop - van Eijk, van}, H.P.J. and {Woude, van der}, J.C.S.P.",
year = "1995",
doi = "10.1007/3-540-60164-3_25",
language = "English",
isbn = "3-540-60164-3",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "159--179",
editor = "D.H. Pitt and D.E. Rydeheard and P. Johnstone",
booktitle = "Category Theory and Computer Science (Proceedings 6th International Conference, CTCS'96, Cambridge, UK, August 7-11, 1995)",
address = "Germany",
}