J. M. E. Hyland, C.-H. Luke Ong. On Full Abstraction for PCF: I, II, and III. Inf. Comput., 163(2):285-408, 2000.
@article{HylandO00, title = {On Full Abstraction for PCF: I, II, and III}, author = {J. M. E. Hyland and C.-H. Luke Ong}, year = {2000}, tags = {C++, e-science, abstraction}, researchr = {https://researchr.org/publication/HylandO00}, cites = {0}, citedby = {0}, journal = {Inf. Comput.}, volume = {163}, number = {2}, pages = {285-408}, }