Full Abstraction for PCF

@article{Abramsky2000FullAF,
  title={Full Abstraction for PCF},
  author={Samson Abramsky and Radha Jagadeesan and Pasquale Malacaria},
  journal={Inf. Comput.},
  year={2000},
  volume={163},
  pages={409-470}
}
Highly Cited
This paper has 18 citations. REVIEW CITATIONS