邱奇数 (Chinese Wikipedia)
Analysis of information sources in references of the Wikipedia article "邱奇数" in Chinese language version.
refsWebsite
Global rank
Chinese rank
3rd place
8th place
8,084th place
low place
1,983rd place
2,959th place
1st place
1st place
low place
low place
383rd place
336th place
low place
low place
books.google.com
- Trancón y Widemann, Baltasar; Parnas, David Lorge. Olaf Chitil; Zoltán Horváth; Viktória Zsók , 编. Implementation and Application of Functional Languages. 19th International Workshop, IFL 2007, Freiburg, Germany, September 27–29, 2007 Revised Selected Papers. Lecture Notes in Computer Science 5083: 228–229. 2008. ISBN 978-3-540-85372-5. doi:10.1007/978-3-540-85373-2_13.
- 特朗普, 约翰. 14. 二元λ演算与组合逻辑. 卡鲁德, 克里斯蒂安·S (编). 从莱布尼茨到柴廷的随机性与复杂性. 世界科学出版公司. 2007: 237–262. ISBN 978-981-4474-39-9.
PDF版本：特朗普, 约翰. 二元λ演算与组合逻辑 (PDF). 2014-05-14 [2017-11-24].
doi.org
- Trancón y Widemann, Baltasar; Parnas, David Lorge. Olaf Chitil; Zoltán Horváth; Viktória Zsók , 编. Implementation and Application of Functional Languages. 19th International Workshop, IFL 2007, Freiburg, Germany, September 27–29, 2007 Revised Selected Papers. Lecture Notes in Computer Science 5083: 228–229. 2008. ISBN 978-3-540-85372-5. doi:10.1007/978-3-540-85373-2_13.
- Jansen, Jan Martin. λ演算编程：从Church到Scott的往返. Achten, Peter; Koopman, Pieter W. M. (编). 函数式代码之美——献给里努斯·普拉斯梅尔的61岁诞辰. 计算机科学讲义 8106. 施普林格. 2013: 168–180. ISBN 978-3-642-40354-5. doi:10.1007/978-3-642-40355-2_12.
okmij.org
- Predecessor and lists are not representable in simply typed lambda calculus. Lambda Calculus and Lambda Calculators. okmij.org.
psu.edu
citeseerx.ist.psu.edu
- Jansen, Jan Martin; Koopman, Pieter W. M.; Plasmeijer, Marinus J. Efficient interpretation by transforming data types and patterns to functions. Nilsson, Henrik (编). Trends in functional programming. Volume 7. Bristol: Intellect. 2006: 73–90. CiteSeerX 10.1.1.73.9841
. ISBN 978-1-84150-188-8.
tromp.github.io
- 特朗普, 约翰. 14. 二元λ演算与组合逻辑. 卡鲁德, 克里斯蒂安·S (编). 从莱布尼茨到柴廷的随机性与复杂性. 世界科学出版公司. 2007: 237–262. ISBN 978-981-4474-39-9.
PDF版本：特朗普, 约翰. 二元λ演算与组合逻辑 (PDF). 2014-05-14 [2017-11-24].