Zdancewic/linearity

Formalization of Linear Logic and Related Programming Languages Metatheory

Coq