A Concurrent Logical Framework: The Propositional Fragment-Reference-Cited by-同舟云学术

A Concurrent Logical Framework: The Propositional Fragment

Published:2004 Issue: Volume: Page:355-377
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Watkins Kevin,Cervesato Iliano,Pfenning Frank,Walker David

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-24849-1_23.pdf

Reference39 articles.

1. Lecture Notes in Computer Science;R. Adams,2004

2. Andreoli, J.-M.: Logic programming with focusing proofs in linear logic. Journal of Logic and Computation 2(3), 197–347 (1992)

3. Asperti, A.: A logic for concurrency. Technical report, Department of Computer Science, University of Pisa (1987)

4. Asperti, A., Ferrari, G., Gorrieri, R.: Implicative formulae in the ‘proofs as computations’ analogy. In: Proceedings of the seventeenth Symposium on Principles of Programming Languages, San Francisco, January 1990, pp. 59–71. ACM Press, New York (1990)

5. Barber, A.: Dual intuitionistic linear logic. Technical Report ECS-LFCS-96-347, Department of Computer Science, University of Edinburgh (September 1996)

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

1. Focusing on Refinement Typing;ACM Transactions on Programming Languages and Systems;2023-12-20

2. Semi-Automation of Meta-Theoretic Proofs in Beluga;Electronic Proceedings in Theoretical Computer Science;2023-11-17

3. A theory of higher-order subtyping with type intervals;Proceedings of the ACM on Programming Languages;2021-08-22

4. Deductive Systems and Coherence for Skew Prounital Closed Categories;Electronic Proceedings in Theoretical Computer Science;2021-01-12

5. Coherence via Focusing for Symmetric Skew Monoidal Categories;Logic, Language, Information, and Computation;2021