Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
1
0
0
7
Establishing injectivity of type constructors in non-normalizing dependent type systems could revolutionize our understanding of type theory's foundational properties.