Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
1
0
1
A groundbreaking intersection type system for $\lambda$-calculus that resolves the reachability problem through type inference while ensuring soundness and decidability.