umazalakain / typing-linear-pi

Typing the linear pi calculus in Agda

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

umazalakain/typing-linear-pi Stargazers