Interaction Categories-Reference-Cited by-同舟云学术

Interaction Categories

Published:1993 Issue: Volume: Page:57-69
ISSN:1431-1682
Container-title:Theory and Formal Methods 1993
language:
Short-container-title:

Author:

Abramsky Samson

Publisher

Springer London

Link

http://link.springer.com/content/pdf/10.1007/978-1-4471-3503-6_5

Reference25 articles.

1. S. Abramsky. Proofs as processes. Unpublished Lecture Notes, 1991.

2. S. Abramsky and R. Jagadeesan. Games and full completeness for multiplicative linear logic. Technical Report DoC 92/24, Department of Computing, Imperial College of Science Technology and Medicine, 1992.

3. S. Abramsky and R. Jagadeesan. New foundations for the geometry of interaction. In Proceedings,Seventh Annual IEEE Symposium on Logic in Computer Science, pages 211–222. IEEE Computer Society Press, 1992.

4. P. Aczel. Non-well-founded sets. CSLI Lecture Notes 14. Center for the Study of Language and Information, 1988.

5. B. Alpern and F. B. Schneider. Defining liveness. Information Processing Letters, 21 (4): 181–185, 1985.

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

1. Retracing Some Paths in Categorical Semantics: From Process-Propositions-as-Types to Categorified Reals and Computers;Samson Abramsky on Logic and Structure in Computer Science and Beyond;2023

2. Compact Inverse Categories;Samson Abramsky on Logic and Structure in Computer Science and Beyond;2023

3. Client-server sessions in linear logic;Proceedings of the ACM on Programming Languages;2021-08-22

4. Techniques for Formal Modelling and Analysis of Quantum Systems;Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky;2013

5. Tracing the Man in the Middle in Monoidal Categories;Coalgebraic Methods in Computer Science;2012