Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. S. Abramsky, S.J. Gay and R. Nagarajan, Interaction categories and the foundations of the typed concurrent programming. In: Deductive Program Design: Proceedings of the 1994 Marktoberdorf International Summer School, (Springer 1996)
2. S. Abramsky, S.J. Gay and R. Nagarajan, Specification structures and propositions-as-types for concurrency. In: Logics for Concurrency: Structure vs. Automata. Proceedings of the VIIIth Banff Workshop, Lecture Notes in Computer Science(Springer 1996)
3. S. Abramsky and R. Jagadeesan, Games and full completeness for multiplicative linear logic, J. Symbolic Logic
4. S. Abramsky, R. Jagadeesan and P. Malacaria, Full abstraction for PCF, submitted (1996)
5. M. Barr, ⋆-Autonomous Categories, Lecture Notes in Mathematics 752 (Springer 1979)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献