Search papers, labs, and topics across Lattice.
1
0
Every closed Boolean term reduces to either true or false, revealing a novel approach to logical relations that integrates reduction directly into type theory.
