A book to come out soon... Accepted for publication by Cambridge University Press.

Theoretical Computer Science for the Working Category Theorist

Main Home Page