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