Search papers, labs, and topics across Lattice.
2
0
2
1
Every program in the new Calf framework must preserve both abstraction and potential, revolutionizing how we approach cost verification in type theory.
Every closed Boolean term reduces to either true or false, revealing a novel approach to logical relations that integrates reduction directly into type theory.
