aspiwack/dissection-of-l

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

语言：TeX · GitHub 星标：4 · Fork：1

在 GitHub 上查看原仓库