[LC] _________________________ AMAST Links 02 04

A database calculus based on strong monads and partial functions

Eerke Boiten and Paul Hoogendijk

This paper is now available on the WWW.

There are no references to parameterized catamorphisms or catamorphic versions of filter in it (and most of the category theory is in the footnotes ...)

The abstract of the paper with a link to the postscript version is accessible.