Diagrammatic representation and inference: 13th International Conference, Diagrams 2022, Rom… by Giardino, Valeria, Linker, Sven, Bellucci, Francesco, Diagrams (Conference), Rome, Italy), Burns, Richard, Boucheix, Jean Michel, Viana, Petrucio fromLecture Notes in Computer Science 0 Type: Book
