Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
1
0
1
Forget complex algebraic manipulations: string diagrams offer a surprisingly elegant and compositional way to reason about behavioral distances in nondeterministic systems.