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