Categories for software engineering

Descrição: Demonstrates how category theory can be used for formal software development. The mathematical toolbox for the Soft... Veja mais