Author:
Abramsky Samson,Jagadeesan Radha
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. M. Abadi, L. Cardelli and P.-L. Curien.Formal Parametric Polymorphism.In Proc. 20th ACM Symposium on Principles of Programming Languages 1993.
2. S. Abramsky.Semantics of Interaction.In Semantics and Logics of Computation edited by A. Pitts and P. Dybjer,Cambridge University Press 1997,1–32.
3. S. Abramsky, R. Jagadeesan.Games and Full Completeness for Multiplicative Linear Logic,J. of Symbolic Logic59(2),1994,543–574.
4. S. Abramsky, R. Jagadeesan.A Game Semantics for Generic Polymorphism.Oxford University Computing Laboratory Programming Research Group,Research Report RR-03-02,2003.Available on-line at http://web.comlab.ox.ac.uk/oucl/publications/tr/rr-03-02
5. S. Abramsky, R. Jagadeesan, P. Malacaria.Full Abstraction for PCF,Inf. and Comp.163, 2000,409–470.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Game Semantics for Call-by-Value Polymorphism;Automata, Languages and Programming;2010
2. Curry-style type isomorphisms and game semantics;Mathematical Structures in Computer Science;2008-08
3. Genericity and the π-calculus;Acta Informatica;2005-11