Calculate categorically!
The author introduces and studies an alternative proof style in category theory, called calculation, which can be viewed as a form of functional programming.
scientific article; zbMATH DE number 110530