Search papers, labs, and topics across Lattice.
1
0
Two-sided type systems can express complex typing judgements that traditional systems cannot, fundamentally altering our approach to type theory.
