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