Mechanizing Focused Linear Logic in Coq
<p dir="ltr">Linear logic has been used as a foundation (and inspiration) for the development of programming languages, logical frameworks and models for concurrency. Linear logic's cut-elimination and the completeness of focusing are two of its fundamental properties that have...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | , , |
| Published: |
2018
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|