/typing-linear-pi

Typing the linear pi calculus in Agda

Primary LanguageTeXMIT LicenseMIT

Watchers