A book to come out soon...

Theoretical Computer Science for the Working Category Theorist

Main Home Page