Tags

diagrammatic reasoning
Oct 1, 2026
formal verification
Oct 1, 2026
hypergraph rewriting
Oct 1, 2026
Rocq proof assistant
Oct 1, 2026
string diagrams
Oct 1, 2026
symmetric monoidal categories
Oct 1, 2026
compiler optimizations
Jan 17, 2026
entanglement distribution
Jan 17, 2026
high-level programming languages
Jan 17, 2026
probabilistic and possibilistic semantics
Jan 17, 2026