TY - BOOK TI - Theoretical computer science for the working category theorist SN - 978-1-10879274-5 U1 - 004.0151 Y17 2022 PB - Cambridge University Press KW - Computer science -- Mathematics N1 - E-books ER -