Roland Carl Backhouse, Marcel Bijsterveld, Rik van Geldrop, Jaap van der Woude. Categorical Fixed Point Calculus. In David H. Pitt, David E. Rydeheard, Peter Johnstone, editors, Category Theory and Computer Science, 6th International Conference, CTCS 95, Cambridge, UK, August 7-11, 1995, Proceedings. Volume 953 of Lecture Notes in Computer Science, pages 159-179, Springer, 1995.
@inproceedings{BackhouseBGW95,
title = {Categorical Fixed Point Calculus},
author = {Roland Carl Backhouse and Marcel Bijsterveld and Rik van Geldrop and Jaap van der Woude},
year = {1995},
researchr = {https://researchr.org/publication/BackhouseBGW95},
cites = {0},
citedby = {0},
pages = {159-179},
booktitle = {Category Theory and Computer Science, 6th International Conference, CTCS 95, Cambridge, UK, August 7-11, 1995, Proceedings},
editor = {David H. Pitt and David E. Rydeheard and Peter Johnstone},
volume = {953},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-60164-3},
}