Author:
Cockett J.R.B.,Spooner D.A.
Subject
General Computer Science,Theoretical Computer Science
Reference16 articles.
1. Interaction Categories (Extended Abstract);Abramsky,1993
2. Interaction Categories and communicating sequential processes;Abramsky,1994
3. Abramsky S., S. Gay and R. Nagarajan, Constructing and verifying typed processes. Unpublished, 1993.
4. Abramsky S., and R. Jagadeesan, Games and Full Completeness for Multiplicative Linear Logic. Imperial College Technical Report DoC 92/24, 1992.
5. Abramsky S., Jagadeesan R., and Malacaria P., Full abstraction for PCF (extended abstract), In M. Hagiya and J. C. Mitchel (eds), Theoretical Aspects of Computer Software. International Symposium TACS'94, Lecture Notes in Computer Science 789, Springer-Verlag, 1994
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献