Categories for Software Engineering
by Jose Luiz Fiadeiro
Category: Computers

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.