 | EasyChair Smart Slide | Docs/Log in |
Title:Preliminary Report on the Yalla Library Authors:Olivier Laurent Conference:Coq Workshop 2018 Tags:Coq library, deep embedding, exchange rule, finite multisets, linear logic, permutations and standard library Abstract: Yet Another deep embedding of Linear Logic in Coq We present some results and comments around the ongoing development of the Yalla library which provides a deep embedding of linear logic in Coq relying on an explicit exchange rule.  |
|     |
