Programming Computable Functions (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Programming Computable Functions" in English language version.

refsWebsite

Global rank English rank

6doi.org

2^nd place

2ed.ac.uk

1,871^st place

1,234^th place

2ox.ac.uk

613^th place

456^th place

1stanford.edu

179^th place

183^rd place

1handle.net

102^nd place

76^th place

1web.archive.org

1^st place

1qmul.ac.uk

1,735^th place

3,129^th place

1syr.edu

3,753^rd place

2,311^th place

doi.org (Global: 2^nd place; English: 2^nd place)

Plotkin, Gordon D. (December 1977). "LCF considered as a programming language" (PDF). Theoretical Computer Science. 5 (3): 223–255. doi:10.1016/0304-3975(77)90044-5.
Milner, Robin (February 1977). "Fully abstract models of typed λ-calculi" (PDF). Theoretical Computer Science. 4 (1): 1–22. doi:10.1016/0304-3975(77)90053-6. hdl:20.500.11820/731c88c6-cdb1-4ea0-945e-f39d85de11f1.
Hyland, J. M. E.; Ong, C.-H. L. (15 December 2000). "On Full Abstraction for PCF". Information and Computation. 163 (2): 285–408. doi:10.1006/inco.2000.2917.
Abramsky, S.; Jagadeesan, R.; Malacaria, P. (15 December 2000). "Full Abstraction for PCF". Information and Computation. 163 (2): 409–470. doi:10.1006/inco.2000.2930.
O'Hearn, P. W.; Riecke, J. G. (1995). "Kripke Logical Relations and PCF". Information and Computation. 120 (1): 107–116. doi:10.1006/inco.1995.1103.
Loader, R. (2001). "Finitary PCF is not decidable". Theoretical Computer Science. 266 (1–2): 341–364. doi:10.1016/S0304-3975(00)00194-8.

ed.ac.uk (Global: 1,871^st place; English: 1,234^th place)

homepages.inf.ed.ac.uk

Plotkin, Gordon D. (December 1977). "LCF considered as a programming language" (PDF). Theoretical Computer Science. 5 (3): 223–255. doi:10.1016/0304-3975(77)90044-5.

pure.ed.ac.uk

Milner, Robin (February 1977). "Fully abstract models of typed λ-calculi" (PDF). Theoretical Computer Science. 4 (1): 1–22. doi:10.1016/0304-3975(77)90053-6. hdl:20.500.11820/731c88c6-cdb1-4ea0-945e-f39d85de11f1.

handle.net (Global: 102^nd place; English: 76^th place)

hdl.handle.net

Milner, Robin (February 1977). "Fully abstract models of typed λ-calculi" (PDF). Theoretical Computer Science. 4 (1): 1–22. doi:10.1016/0304-3975(77)90053-6. hdl:20.500.11820/731c88c6-cdb1-4ea0-945e-f39d85de11f1.

ox.ac.uk (Global: 613^th place; English: 456^th place)

users.comlab.ox.ac.uk

Ong, C.-H. L. (1995). "Correspondence between Operational and Denotational Semantics: The Full Abstraction Problem for PCF". In Abramsky, S.; Gabbay, D.; Maibau, T. S. E. (eds.). Handbook of Logic in Computer Science. Oxford University Press. pp. 269–356. Archived from the original on 2006-01-07. Retrieved 2006-01-19.

ora.ox.ac.uk

Hyland, J. M. E.; Ong, C.-H. L. (15 December 2000). "On Full Abstraction for PCF". Information and Computation. 163 (2): 285–408. doi:10.1006/inco.2000.2917.

qmul.ac.uk (Global: 1,735^th place; English: 3,129^th place)

qmro.qmul.ac.uk

Abramsky, S.; Jagadeesan, R.; Malacaria, P. (15 December 2000). "Full Abstraction for PCF". Information and Computation. 163 (2): 409–470. doi:10.1006/inco.2000.2930.

stanford.edu (Global: 179^th place; English: 183^rd place)

theory.stanford.edu

"PCF is a programming language for computable functions, based on LCF, Scott’s logic of computable functions."^[1] Programming Computable Functions is used by (Mitchell 1996). Mitchell, John C. (1996). "The Language PCF". Foundations for Programming Languages. MIT Press. ISBN 9780262133210.

syr.edu (Global: 3,753^rd place; English: 2,311^th place)

surface.syr.edu

O'Hearn, P. W.; Riecke, J. G. (1995). "Kripke Logical Relations and PCF". Information and Computation. 120 (1): 107–116. doi:10.1006/inco.1995.1103.

web.archive.org (Global: 1^st place; English: 1^st place)

Ong, C.-H. L. (1995). "Correspondence between Operational and Denotational Semantics: The Full Abstraction Problem for PCF". In Abramsky, S.; Gabbay, D.; Maibau, T. S. E. (eds.). Handbook of Logic in Computer Science. Oxford University Press. pp. 269–356. Archived from the original on 2006-01-07. Retrieved 2006-01-19.

Programming Computable Functions (English Wikipedia)

doi.org (Global: 2nd place; English: 2nd place)

ed.ac.uk (Global: 1,871st place; English: 1,234th place)