Compositional Approximate Reasoning via Bialgebraic Semantics

Full project page

Organisations map overview