dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Radha Jagadeesan (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Radha Jagadeesan: Game Semantics for Access Control. Electr. Notes Theor. Comput. Sci. 249: 135-156 (2009)
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Radha Jagadeesan: A game semantics for generic polymorphism. Ann. Pure Appl. Logic 133(1-3): 3-37 (2005)
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Radha Jagadeesan: A Game Semantics for Generic Polymorphism. FoSSaCS 2003: 1-22
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Radha Jagadeesan, Pasquale Malacaria: Full Abstraction for PCF. Inf. Comput. 163(2): 409-470 (2000)
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Pasquale Malacaria, Radha Jagadeesan: Full Abstraction for PCF. TACS 1994: 1-15
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Radha Jagadeesan: New Foundations for the Geometry of Interaction Inf. Comput. 111(1): 53-119 (1994)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Radha Jagadeesan: Games and Full Completeness for Multiplicative Linear Logic. J. Symb. Log. 59(2): 543-574 (1994)
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Radha Jagadeesan: Games and Full Completeness for Multiplicative Linear Logic (Extended Abstract). FSTTCS 1992: 291-301
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Radha Jagadeesan: New Foundations for the Geometry of Interaction LICS 1992: 211-222

Selection of 9 from 73 records - Radha Jagadeesan has 36 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page