Author:
Watkins Kevin,Cervesato Iliano,Pfenning Frank,Walker David
Subject
General Computer Science,Theoretical Computer Science
Reference20 articles.
1. Logic programming with focusing proofs in linear logic;Andreoli;Journal of Logic and Computation,1992
2. A linear logical framework;Cervesato;Information & Computation,2002
3. Cervesato, I., F. Pfenning, D. Walker and K. Watkins, A concurrent logical framework II: Examples and applications, Technical Report CMU-CS-02-102, Department of Computer Science, Carnegie Mellon University (2002), revised May 2003
4. Chirimar, J.L., “Proof Theoretic Approach to Specification Languages,” Ph.D. thesis, University of Pennsylvania (1995)
5. Linear logic;Girard;Theoretical Computer Science,1987
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. System F in Agda, for Fun and Profit;Lecture Notes in Computer Science;2019
2. Proof-relevant π-calculus: a constructive account of concurrency and causality;Mathematical Structures in Computer Science;2017-05-04
3. Intuitionistic Modal Logic: A 15-year retrospective;Journal of Logic and Computation;2015-06-12
4. Modular Multiset Rewriting;Logic for Programming, Artificial Intelligence, and Reasoning;2015
5. Linear logic propositions as session types;Mathematical Structures in Computer Science;2014-11-10