Programs as Diagrams: From Categorical Computability to Computable Categories

Dusko Pavlovic, 3031348265, 9783031348266, 9783031348273, 9783031348297