1
Programs as Diagrams [E-Book] : From Categorical Computability to Computable Categories /
2
Algorithms - ESA 2015 [E-Book] : 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings /