Searching protocol for "monoidal"
Verify code correctness with algebraic laws.
Adversarial security analysis of Aqua Voice IPC.
Diagrams and categories for quantum computation.
Automate universal constructions via adjunctions.
Visualize resource equations as diagrams.
Compose NLP with DisCoPy string diagrams.
Model FP domains with ADTs and type classes