Mechanizing Focused Linear Logic in Coq-Reference-Cited by-同舟云学术

Mechanizing Focused Linear Logic in Coq

Author:

Xavier Bruno,Olarte Carlos,Reis Giselle,Nigam Vivek

Funder

CNPq

FWF

Qatar National Research Fund

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference25 articles.

2. Interactive Theorem Proving and Program Development Coq'Art: The Calculus of Inductive Constructions;Bertot,2004

4. Parametric higher-order abstract syntax for mechanized semantics;Chlipala,2008

5. Generic Methods for Formalising Sequent Calculi Applied to Provability Logic;Dawson,2010

Cited by 13 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Linear Resources in Isabelle/HOL;Journal of Automated Reasoning;2024-05-18

2. Computational Logic for Biomedicine and Neurosciences;Symbolic Approaches to Modeling and Analysis of Biological Systems;2023-08-04

3. A linear logic framework for multimodal logics;Mathematical Structures in Computer Science;2022-10

4. Mechanizing Matching Logic In Coq;Electronic Proceedings in Theoretical Computer Science;2022-09-19

5. Semantic cut elimination for the logic of bunched implications, formalized in Coq;Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs;2022-01-11