aspiwack/dissection-of-l

A dissection of L: article about focalised sequent calculus and dependent types

TeX