On full abstraction for PCF: I, II, and III. Hyland, J. & Ong, C. Information and Computation, 163(2):285–408, 2000. bibtex @Article{Hyland2000,
author = {Hyland, JME and Ong, CHL},
title = {On full abstraction for PCF: I, II, and III},
journal = {Information and Computation},
volume = {163},
number = {2},
pages = {285--408},
year = {2000},
abstract = {},
location = {},
keywords = {}}
Downloads: 0
{"_id":"5Wy7Q7rJv899jdtc8","bibbaseid":"hyland-ong-onfullabstractionforpcfiiiandiii-2000","authorIDs":[],"author_short":["Hyland, J.","Ong, C."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Hyland"],"firstnames":["JME"],"suffixes":[]},{"propositions":[],"lastnames":["Ong"],"firstnames":["CHL"],"suffixes":[]}],"title":"On full abstraction for PCF: I, II, and III","journal":"Information and Computation","volume":"163","number":"2","pages":"285–408","year":"2000","abstract":"","location":"","keywords":"","bibtex":"@Article{Hyland2000,\nauthor = {Hyland, JME and Ong, CHL}, \ntitle = {On full abstraction for PCF: I, II, and III}, \njournal = {Information and Computation}, \nvolume = {163}, \nnumber = {2}, \npages = {285--408}, \nyear = {2000}, \nabstract = {}, \nlocation = {}, \nkeywords = {}}\n\n\n","author_short":["Hyland, J.","Ong, C."],"key":"Hyland2000","id":"Hyland2000","bibbaseid":"hyland-ong-onfullabstractionforpcfiiiandiii-2000","role":"author","urls":{},"downloads":0},"bibtype":"article","biburl":"https://gist.githubusercontent.com/stuhlmueller/a37ef2ef4f378ebcb73d249fe0f8377a/raw/6f96f6f779501bd9482896af3e4db4de88c35079/references.bib","creationDate":"2020-01-27T02:13:34.775Z","downloads":0,"keywords":[],"search_terms":["full","abstraction","pcf","iii","hyland","ong"],"title":"On full abstraction for PCF: I, II, and III","year":2000,"dataSources":["hEoKh4ygEAWbAZ5iy"]}