Category Theory Using Haskell: An Introduction with Moggi and Yoneda (Computer Science Foundations Applied Logic)

Causal Discovery: Foundations, Algorithms and Applications (Computer Science Foundations Applied Logic)

An Introduction to String Diagrams for Computer Scientists (Elements in Applied Category Theory)

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical...