Congratulations to Professor Dusko Pavlovic on the publication of his new textbook, Programs as Diagrams: From Categorical Computability to Computable Categories. Published by Springer, the…
Congratulations to Professor Dusko Pavlovic on the publication of his new textbook, Programs as Diagrams: From Categorical Computability to Computable Categories. Published by Springer, the…