|
|
|
|
|
|
by benrbray
1517 days ago
|
|
|
If you want more theory, I recently stumbled across some great lecture materials [1] for a course on coalgebra, which is a category-theoretic way of modeling state-based systems, as well as familiar computer science concepts like (co)data types and (co)induction. [1] https://cs.ru.nl/~jrot/coalg18 |
|
|