Categories for Software Engineering

Bok av José Luiz. Fiadeiro
Demonstrates how category theory can be used for formal software development. The mathematical toolbox for the Software Engineering in the new age of complex interactive systems.