Cover of Programs as Diagrams From Categorical Computability to Computable Categories
Buy on Amazon

Programs as Diagrams From Categorical Computability to Computable Categories

by Dusko Pavlovic