umazalakain/typing-linear-pi

Typing the linear pi calculus in Agda

语言：TeX · GitHub 星标：30 · Fork：3

在 GitHub 上查看原仓库