Programs as Diagrams Other Books in This Series

Choquet Capacities and Fuzzy Integrals Choquet Capacities and Fuzzy Integrals
2025
The Incomputable The Incomputable
2017
Algorithmic Randomness and Complexity Algorithmic Randomness and Complexity
2010
Apartness and Uniformity Apartness and Uniformity
2011