Foundations of Software Science and Computation Structures

Diagrammatic Representation and Inference

This book constitutes the refereed proceedings of the 15th International Conference on the Theory...