Categorical Fixed Point Calculus

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.

Abstract

Abstract is missing.