Diagrammatic Representation and Inference 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings - Jamnik, Mateja; Uesaka, Yuri; Elzer Schwartz, Stephanie (Springer International Publishing : Imprint: Springer, 2016)