Bialgebraic Semantics for String Diagrams.

Filippo Bonchi Robin Piedeleu Pawel Sobocinski Fabio Zanasi

Published in: CONCUR (2019)

Keyphrases

semantic information
formal semantics
edit distance
information systems
logic programming
pattern matching
regular expressions
graphical representation
uml class diagrams
neural network
string matching
database
conceptual model
speech acts
transformation rules