Filter
Matematisk databehandlingsteori
Filter
Using basic category theory, this Element describes all the central concepts and proves the main theorems of theoretical computer science. Category theory, which works with …