Search papers, labs, and topics across Lattice.
1
0
3
8
Nominal techniques, a principled approach to variable binding, are now accessible as a practical Agda library.
