MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Full Abstraction for PCF." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 26 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Logical Full Abstraction and PCF  
  • by John Longley, Gordon Plotkin — 1996 — Tbilisi Symposium on Language, Logic and Computation. SiLLI/CSLI
  • …Logical Full Abstraction and PCF John Longley Gordon Plotkin March 15, 1996 Abstract We introduce…
  • Cited by 7 (3 self) – Add To MetaCart
  • Full Abstraction for PCF  
  • by Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria — 1996 — Information and Computation
  • …Full Abstraction for PCF Samson Abramsky y Radha Jagadeesan z Pasquale Malacaria x February…
  • Cited by 129 (15 self) – Add To MetaCart
  • Full Abstraction for PCF  
  • by Samson Abramsky University, Radha Jagadeesan, Pasquale Malacaria — 1994
  • …Full Abstraction for PCF 1 Samson.Abramsky 2 University of Edinburgh and Radha Jagadeesan 3 Loyola…
  • Add To MetaCart
  • Full Abstraction for PCF  
  • by Samson Abramsky Radha, Radha Jagadeesan, Pasquale Malacaria — 1994 — Information and Computation
  • …Full Abstraction for PCF Samson Abramsky y Radha Jagadeesan z Pasquale Malacaria x December…
  • Add To MetaCart
  • Full Abstraction for PCF (Extended Abstract)  
  • by Samson Abramsky, Pasquale Malacaria, Radha Jagadeesan — 1994 — Theoretical Aspects of Computer Software. International Symposium TACS'94, number 789 in Lecture Notes in Computer Science
  • …Full Abstraction for PCF ? (Extended Abstract) Samson Abramsky and Pasquale Malacaria Imperial…
  • Cited by 69 (12 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB