Search papers, labs, and topics across Lattice.
Telecom Paris
1
2
Finally, a first-order logic that lets you quantify over contexts and formulas, so you can reason about what's true *where*.
