Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Lecture Notes in Computer Science;S. Abramsky,2003
2. Abramsky, S., Honda, K., McCusker, G.: A fully abstract games semantics for general references. In: Proceedings of the 13th Annual Symposium on Logic in Computer Science, LICS 1998 (1998)
3. Abramsky, S., Jagadeesan, R.: Games and full completeness for multiplicative linear logic. Journal of Symbolic Logic 59, 543–574 (1994)
4. Le Botlan, D., Rémy, D.: MLF: Raising ML to the power of System F. In: Proceedings of eighth ACM SIGPLAN conference of functional programming, pp. 27–38 (2003)
5. Girard, J.-Y.: Interprétation functionelle et elimination des coupures de l’arithmètique d’ordre supérieur. PhD thesis, Université Paris VII (1972)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献