GitHub repository: umazalakain/typing-linear-pi
Primary language: TeX
Created: 2020-02-07T16:35:51Z
Description: Typing the linear pi calculus in Agda