التكرير (تقنية في البرمجة الوظيفية) (Arabic Wikipedia)

Analysis of information sources in references of the Wikipedia article "التكرير (تقنية في البرمجة الوظيفية)" in Arabic language version.

refsWebsite

Global rank Arabic rank

16web.archive.org

1^st place

7doi.org

2^nd place

5^th place

5semanticscholar.org

11^th place

86^th place

3issn.org

57^th place

1,629^th place

2arxiv.org

69^th place

207^th place

2worldcat.org

5^th place

4^th place

2ncatlab.org

low place

7,637^th place

2books.google.com

3^rd place

8^th place

1lambda-the-ultimate.org

low place

1uncarved.com

low place

1ucr.edu

1,553^rd place

2,727^th place

1archive.org

6^th place

3^rd place

1lmu.de

low place

1psu.edu

207^th place

462^nd place

1syr.edu

3,753^rd place

4,337^th place

1acm.org

1,185^th place

1,160^th place

1preterhuman.net

low place

1c2.com

5,959^th place

5,742^nd place

1chalmers.se

low place

1nott.ac.uk

low place

1brown.edu

2,481^st place

4,953^rd place

1computer-programming-forum.com

low place

1uchicago.edu

230^th place

280^th place

1msp.org

low place

1slid.es

low place

acm.org (Global: 1,185^th place; Arabic: 1,160^th place)

portal.acm.org

نُشر أولًا في Reynolds, John C. (1 Aug 1972). "Definitional interpreters for higher-order programming languages". In Shields, Rosemary (ed.). Proceedings of the ACM annual conference - ACM '72 (بالإنجليزية). ACM Press. Vol. 2. pp. 717–740. DOI:10.1145/800194.805852. ISBN:9781450374927. S2CID:163294. Archived from the original on 2024-07-07. في السطر الأخير استخدمنا خدعة تُعرف بالتحوير الكاري (سُميت بذلك نسبة إلى المنطقي هاسكل كاري) لحل مشكلة إدخال عملية ثنائية في لغة لا تقبل إلا وسيطًا واحدًا لكل دالة. (علّق المُراجع بأن "التحوير الكاري" أكثر طرافة، لكن "شونفينكلينغ" أدق.) نُشرت لاحقًا في Reynolds، John C. (1998). "Definitional Interpreters for Higher-Order Programming Languages". Higher-Order and Symbolic Computation. بوسطن: Kluwer Academic Publishers. ج. 11 ع. 4: 363–397. DOI:10.1023/A:1010027404223. 13. مؤرشف من الأصل في 2025-01-26.

archive.org (Global: 6^th place; Arabic: 3^rd place)

Frege, Gottlob (1893). "§ 36". Grundgesetze der arithmetik (بالألمانية). Book from the collections of University of Wisconsin - Madison, digitized by Google on 26 August 2008. يينا: Hermann Pohle. pp. 54–55.

arxiv.org (Global: 69^th place; Arabic: 207^th place)

Baez، John C.؛ Stay، Mike (6 يونيو 2009). "Physics, Topology, Logic and Computation: A Rosetta Stone". في Coecke، Bob (المحرر). New Structures for Physics (PDF). Lecture Notes in Physics. برلين، هايدلبرغ: Springer (نُشِر في 5 يوليو 2010). ج. 813: New Structures for Physics. ص. 95–172. arXiv:0903.0340. DOI:10.1007/978-3-642-12821-9_2. ISBN:978-3-642-12821-9. S2CID:115169297. مؤرشف من الأصل (PDF) في 2022-12-05.
Abramsky, Samson; Coecke, Bob (5 Mar 2007). "A categorical semantics of quantum protocols". Logic in Computer Science (LICS 2004): Proceedings, 19th Annual IEEE Symposium, Turku, Finland, 2004 (بالإنجليزية). IEEE Computer Society Press. pp. 415–425. arXiv:quant-ph/0402130. DOI:10.1109/LICS.2004.1319636. ISBN:978-0-7695-2192-3.

books.google.com (Global: 3^rd place; Arabic: 8^th place)

Rotman، Joseph Jonah (1988). "Chapter 11". An introduction to algebraic topology. Graduate texts in mathematics; 119. New York: Springer-Verlag. ISBN:978-0-387-96678-6. OCLC:17383909. مؤرشف من الأصل في 2025-04-01.
Mac Lane, Saunders; Moerdijk, Ieke (1992). "الفصل الأول: فئات المرافقين؛ الأقسام 7. حساب القضايا، 8. جبور هايتنغ، و9. الكمونات كاقترانات". Sheaves in Geometry and Logic: A First Introduction to Topos Theory (بالإنجليزية). نيويورك: Springer-Verlag، جزء من Springer Science & Business Media. pp. 48–57. ISBN:978-0-387-97710-2.

brown.edu (Global: 2,481^st place; Arabic: 4,953^rd place)

cs.brown.edu

Heim, Irene; Kratzer, Angelika (2 Jan 1998). Semantics in Generative Grammar (PDF) (بالإنجليزية). Malden, Massachusetts: Blackwell Publishers, an imprint of Wiley. ISBN:0-631-19712-5. Archived from the original (PDF) on 2024-09-10.{{استشهاد بكتاب}}: صيانة الاستشهاد: التاريخ والسنة (link)

c2.com (Global: 5,959^th place; Arabic: 5,742^nd place)

wiki.c2.com

"التحوير الكاري وشونفينكل". ويكي مستودع أنماط بورتلاند. Cunningham & Cunningham, Inc. 6 مايو 2012. مؤرشف من الأصل في 2024-12-09.

chalmers.se (Global: low place; Arabic: low place)

cse.chalmers.se

Barendregt، Henk؛ Barendsen، Erik (مارس 2000) [ديسمبر 1998]. Introduction to Lambda Calculus (PDF) (ط. منقحة). ص. 8. مؤرشف من الأصل (PDF) في 2025-02-07.

computer-programming-forum.com (Global: low place; Arabic: low place)

Turner، David (1 يونيو 1997). "Programming language, Currying, or Schonfinkeling?, #9 / 14". Computer Programming Language Forum. مؤرشف من الأصل في 2022-03-03. اطلع عليه بتاريخ 2022-03-03.

doi.org (Global: 2^nd place; Arabic: 5^th place)

Baez، John C.؛ Stay، Mike (6 يونيو 2009). "Physics, Topology, Logic and Computation: A Rosetta Stone". في Coecke، Bob (المحرر). New Structures for Physics (PDF). Lecture Notes in Physics. برلين، هايدلبرغ: Springer (نُشِر في 5 يوليو 2010). ج. 813: New Structures for Physics. ص. 95–172. arXiv:0903.0340. DOI:10.1007/978-3-642-12821-9_2. ISBN:978-3-642-12821-9. S2CID:115169297. مؤرشف من الأصل (PDF) في 2022-12-05.
Schönfinkel، Moses (سبتمبر 1924) [تم تقديمه في جمعية الرياضيات في غوتينغن بتاريخ 7 ديسمبر 1920. واستلمته مجلة حوليات الرياضيات في 15 مارس 1924.]. كتب في موسكو. "Über die Bausteine der mathematischen Logik" [حول اللبنات الأساسية للمنطق الرياضي] (PDF). حوليات الرياضيات (مجلة ألمانية). برلين؟: سبرنغر. ج. 92 ع. 3–4: 305–316. DOI:10.1007/BF01448013. S2CID:118507515. مؤرشف من الأصل (PDF) في 2024-05-15.
Strachey, Christopher (Apr 2000) [هذا البحث كان مضمون سلسلة محاضرات قُدّمت في المدرسة الصيفية الدولية لبرمجة الحاسوب في كوبنهاغن، أغسطس 1967.]. "المفاهيم الأساسية في لغات البرمجة". Higher-Order and Symbolic Computation (بالإنجليزية). 13: 11–49. CiteSeerX:10.1.1.332.3161. DOI:10.1023/A:1010000313106. ISSN:1573-0557. S2CID:14124601. ابتكر شونفينكل تقنية لتحويل العمليات التي تقبل عدة وسائط إلى سلسلة من العمليات التي تقبل وسيطًا واحدًا فقط.
نُشر أولًا في Reynolds, John C. (1 Aug 1972). "Definitional interpreters for higher-order programming languages". In Shields, Rosemary (ed.). Proceedings of the ACM annual conference - ACM '72 (بالإنجليزية). ACM Press. Vol. 2. pp. 717–740. DOI:10.1145/800194.805852. ISBN:9781450374927. S2CID:163294. Archived from the original on 2024-07-07. في السطر الأخير استخدمنا خدعة تُعرف بالتحوير الكاري (سُميت بذلك نسبة إلى المنطقي هاسكل كاري) لحل مشكلة إدخال عملية ثنائية في لغة لا تقبل إلا وسيطًا واحدًا لكل دالة. (علّق المُراجع بأن "التحوير الكاري" أكثر طرافة، لكن "شونفينكلينغ" أدق.) نُشرت لاحقًا في Reynolds، John C. (1998). "Definitional Interpreters for Higher-Order Programming Languages". Higher-Order and Symbolic Computation. بوسطن: Kluwer Academic Publishers. ج. 11 ع. 4: 363–397. DOI:10.1023/A:1010027404223. 13. مؤرشف من الأصل في 2025-01-26.
Curry، Haskell B. (1980). Barwise، Jon؛ Keisler، H. Jerome؛ Kunen، Kenneth (المحررون). "Some Philosophical Aspects of Combinatory Logic". The Kleene Symposium: Proceedings of the Symposium Held June 18-24, 1978 at Madison, Wisconsin, U.S.A. (Studies in Logic and the Foundations of Mathematics). Studies in Logic and the Foundations of Mathematics. North-Holland Publishing Company, imprint of Elsevier. ج. 101: 85–101. DOI:10.1016/S0049-237X(08)71254-0. ISBN:9780444853455. ISSN:0049-237X. S2CID:117179133. Some contemporary logicians call this way of looking at a function "currying", because I made extensive use of it; but Schönfinkel had the idea some 6 years before I did.
Tillotson، J.؛ Booth، Peter I. (مارس 1980) [Received 2 October 1978, revised 29 June 1979, published 1 May 1980]. كتب في Memorial University of Newfoundland. "Monoidal closed, Cartesian closed and convenient categories of topological spaces" (PDF). Pacific Journal of Mathematics. Berkeley, California: Mathematical Sciences Publishers. ج. 88 ع. 1: 35–53. DOI:10.2140/pjm.1980.88.35. eISSN:1945-5844. ISSN:0030-8730. مؤرشف من الأصل (PDF) في 2024-10-06.
Abramsky, Samson; Coecke, Bob (5 Mar 2007). "A categorical semantics of quantum protocols". Logic in Computer Science (LICS 2004): Proceedings, 19th Annual IEEE Symposium, Turku, Finland, 2004 (بالإنجليزية). IEEE Computer Society Press. pp. 415–425. arXiv:quant-ph/0402130. DOI:10.1109/LICS.2004.1319636. ISBN:978-0-7695-2192-3.

issn.org (Global: 57^th place; Arabic: 1,629^th place)

portal.issn.org

Strachey, Christopher (Apr 2000) [هذا البحث كان مضمون سلسلة محاضرات قُدّمت في المدرسة الصيفية الدولية لبرمجة الحاسوب في كوبنهاغن، أغسطس 1967.]. "المفاهيم الأساسية في لغات البرمجة". Higher-Order and Symbolic Computation (بالإنجليزية). 13: 11–49. CiteSeerX:10.1.1.332.3161. DOI:10.1023/A:1010000313106. ISSN:1573-0557. S2CID:14124601. ابتكر شونفينكل تقنية لتحويل العمليات التي تقبل عدة وسائط إلى سلسلة من العمليات التي تقبل وسيطًا واحدًا فقط.
Curry، Haskell B. (1980). Barwise، Jon؛ Keisler، H. Jerome؛ Kunen، Kenneth (المحررون). "Some Philosophical Aspects of Combinatory Logic". The Kleene Symposium: Proceedings of the Symposium Held June 18-24, 1978 at Madison, Wisconsin, U.S.A. (Studies in Logic and the Foundations of Mathematics). Studies in Logic and the Foundations of Mathematics. North-Holland Publishing Company, imprint of Elsevier. ج. 101: 85–101. DOI:10.1016/S0049-237X(08)71254-0. ISBN:9780444853455. ISSN:0049-237X. S2CID:117179133. Some contemporary logicians call this way of looking at a function "currying", because I made extensive use of it; but Schönfinkel had the idea some 6 years before I did.
Tillotson، J.؛ Booth، Peter I. (مارس 1980) [Received 2 October 1978, revised 29 June 1979, published 1 May 1980]. كتب في Memorial University of Newfoundland. "Monoidal closed, Cartesian closed and convenient categories of topological spaces" (PDF). Pacific Journal of Mathematics. Berkeley, California: Mathematical Sciences Publishers. ج. 88 ع. 1: 35–53. DOI:10.2140/pjm.1980.88.35. eISSN:1945-5844. ISSN:0030-8730. مؤرشف من الأصل (PDF) في 2024-10-06.

lambda-the-ultimate.org (Global: low place; Arabic: low place)

cdiggins (24 مايو 2007). "Currying != Generalized Partial Application?!". Lambda the Ultimate: The Programming Languages Weblog. مؤرشف من الأصل في 2024-12-09.

lmu.de (Global: low place; Arabic: low place)

cip.ifi.lmu.de

Schönfinkel، Moses (سبتمبر 1924) [تم تقديمه في جمعية الرياضيات في غوتينغن بتاريخ 7 ديسمبر 1920. واستلمته مجلة حوليات الرياضيات في 15 مارس 1924.]. كتب في موسكو. "Über die Bausteine der mathematischen Logik" [حول اللبنات الأساسية للمنطق الرياضي] (PDF). حوليات الرياضيات (مجلة ألمانية). برلين؟: سبرنغر. ج. 92 ع. 3–4: 305–316. DOI:10.1007/BF01448013. S2CID:118507515. مؤرشف من الأصل (PDF) في 2024-05-15.

msp.org (Global: low place; Arabic: low place)

Tillotson، J.؛ Booth، Peter I. (مارس 1980) [Received 2 October 1978, revised 29 June 1979, published 1 May 1980]. كتب في Memorial University of Newfoundland. "Monoidal closed, Cartesian closed and convenient categories of topological spaces" (PDF). Pacific Journal of Mathematics. Berkeley, California: Mathematical Sciences Publishers. ج. 88 ع. 1: 35–53. DOI:10.2140/pjm.1980.88.35. eISSN:1945-5844. ISSN:0030-8730. مؤرشف من الأصل (PDF) في 2024-10-06.

ncatlab.org (Global: low place; Arabic: 7,637^th place)

"compactly generated topological space". nLab. 28 مايو 2023. مؤرشف من الأصل في 2025-03-11.
"convenient category of topological spaces". nLab. 11 أغسطس 2023. مؤرشف من الأصل في 2025-04-03.

nott.ac.uk (Global: low place; Arabic: low place)

cs.nott.ac.uk

Hutton، Graham؛ Jones، Mark P.، المحررون (نوفمبر 2002). "Frequently Asked Questions for comp.lang.functional, 3. Technical topics, 3.2. Currying". University of Nottingham Computer Science. مؤرشف من الأصل في 2015-08-25.

preterhuman.net (Global: low place; Arabic: low place)

cdn.preterhuman.net

Slonneger، Kenneth؛ Kurtz، Barry L. (1995). "الدوال المحوّرة، 5.1: مفاهيم وأمثلة، الفصل الخامس: حساب لامبدا". Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach (PDF). Addison-Wesley Publishing Company. ص. 144. ISBN:0-201-65697-3. مؤرشف من الأصل (PDF) في 2025-01-09.

psu.edu (Global: 207^th place; Arabic: 462^nd place)

citeseerx.ist.psu.edu

Strachey, Christopher (Apr 2000) [هذا البحث كان مضمون سلسلة محاضرات قُدّمت في المدرسة الصيفية الدولية لبرمجة الحاسوب في كوبنهاغن، أغسطس 1967.]. "المفاهيم الأساسية في لغات البرمجة". Higher-Order and Symbolic Computation (بالإنجليزية). 13: 11–49. CiteSeerX:10.1.1.332.3161. DOI:10.1023/A:1010000313106. ISSN:1573-0557. S2CID:14124601. ابتكر شونفينكل تقنية لتحويل العمليات التي تقبل عدة وسائط إلى سلسلة من العمليات التي تقبل وسيطًا واحدًا فقط.

semanticscholar.org (Global: 11^th place; Arabic: 86^th place)

api.semanticscholar.org

Baez، John C.؛ Stay، Mike (6 يونيو 2009). "Physics, Topology, Logic and Computation: A Rosetta Stone". في Coecke، Bob (المحرر). New Structures for Physics (PDF). Lecture Notes in Physics. برلين، هايدلبرغ: Springer (نُشِر في 5 يوليو 2010). ج. 813: New Structures for Physics. ص. 95–172. arXiv:0903.0340. DOI:10.1007/978-3-642-12821-9_2. ISBN:978-3-642-12821-9. S2CID:115169297. مؤرشف من الأصل (PDF) في 2022-12-05.
Schönfinkel، Moses (سبتمبر 1924) [تم تقديمه في جمعية الرياضيات في غوتينغن بتاريخ 7 ديسمبر 1920. واستلمته مجلة حوليات الرياضيات في 15 مارس 1924.]. كتب في موسكو. "Über die Bausteine der mathematischen Logik" [حول اللبنات الأساسية للمنطق الرياضي] (PDF). حوليات الرياضيات (مجلة ألمانية). برلين؟: سبرنغر. ج. 92 ع. 3–4: 305–316. DOI:10.1007/BF01448013. S2CID:118507515. مؤرشف من الأصل (PDF) في 2024-05-15.
Strachey, Christopher (Apr 2000) [هذا البحث كان مضمون سلسلة محاضرات قُدّمت في المدرسة الصيفية الدولية لبرمجة الحاسوب في كوبنهاغن، أغسطس 1967.]. "المفاهيم الأساسية في لغات البرمجة". Higher-Order and Symbolic Computation (بالإنجليزية). 13: 11–49. CiteSeerX:10.1.1.332.3161. DOI:10.1023/A:1010000313106. ISSN:1573-0557. S2CID:14124601. ابتكر شونفينكل تقنية لتحويل العمليات التي تقبل عدة وسائط إلى سلسلة من العمليات التي تقبل وسيطًا واحدًا فقط.
نُشر أولًا في Reynolds, John C. (1 Aug 1972). "Definitional interpreters for higher-order programming languages". In Shields, Rosemary (ed.). Proceedings of the ACM annual conference - ACM '72 (بالإنجليزية). ACM Press. Vol. 2. pp. 717–740. DOI:10.1145/800194.805852. ISBN:9781450374927. S2CID:163294. Archived from the original on 2024-07-07. في السطر الأخير استخدمنا خدعة تُعرف بالتحوير الكاري (سُميت بذلك نسبة إلى المنطقي هاسكل كاري) لحل مشكلة إدخال عملية ثنائية في لغة لا تقبل إلا وسيطًا واحدًا لكل دالة. (علّق المُراجع بأن "التحوير الكاري" أكثر طرافة، لكن "شونفينكلينغ" أدق.) نُشرت لاحقًا في Reynolds، John C. (1998). "Definitional Interpreters for Higher-Order Programming Languages". Higher-Order and Symbolic Computation. بوسطن: Kluwer Academic Publishers. ج. 11 ع. 4: 363–397. DOI:10.1023/A:1010027404223. 13. مؤرشف من الأصل في 2025-01-26.
Curry، Haskell B. (1980). Barwise، Jon؛ Keisler، H. Jerome؛ Kunen، Kenneth (المحررون). "Some Philosophical Aspects of Combinatory Logic". The Kleene Symposium: Proceedings of the Symposium Held June 18-24, 1978 at Madison, Wisconsin, U.S.A. (Studies in Logic and the Foundations of Mathematics). Studies in Logic and the Foundations of Mathematics. North-Holland Publishing Company, imprint of Elsevier. ج. 101: 85–101. DOI:10.1016/S0049-237X(08)71254-0. ISBN:9780444853455. ISSN:0049-237X. S2CID:117179133. Some contemporary logicians call this way of looking at a function "currying", because I made extensive use of it; but Schönfinkel had the idea some 6 years before I did.

slid.es (Global: low place; Arabic: low place)

Lee، G. Kay (15 مايو 2013). [[3](http://slid.es/gsklee/functional-programming-in-5-minutes) "Functional Programming in 5 Minutes"]. Slides. {{استشهاد ويب}}: تحقق من قيمة |مسار= (مساعدة)

syr.edu (Global: 3,753^rd place; Arabic: 4,337^th place)

surface.syr.edu

نُشر أولًا في Reynolds, John C. (1 Aug 1972). "Definitional interpreters for higher-order programming languages". In Shields, Rosemary (ed.). Proceedings of the ACM annual conference - ACM '72 (بالإنجليزية). ACM Press. Vol. 2. pp. 717–740. DOI:10.1145/800194.805852. ISBN:9781450374927. S2CID:163294. Archived from the original on 2024-07-07. في السطر الأخير استخدمنا خدعة تُعرف بالتحوير الكاري (سُميت بذلك نسبة إلى المنطقي هاسكل كاري) لحل مشكلة إدخال عملية ثنائية في لغة لا تقبل إلا وسيطًا واحدًا لكل دالة. (علّق المُراجع بأن "التحوير الكاري" أكثر طرافة، لكن "شونفينكلينغ" أدق.) نُشرت لاحقًا في Reynolds، John C. (1998). "Definitional Interpreters for Higher-Order Programming Languages". Higher-Order and Symbolic Computation. بوسطن: Kluwer Academic Publishers. ج. 11 ع. 4: 363–397. DOI:10.1023/A:1010027404223. 13. مؤرشف من الأصل في 2025-01-26.

uchicago.edu (Global: 230^th place; Arabic: 280^th place)

math.uchicago.edu

May، Jon Peter (1999). A concise course in algebraic topology (PDF). Chicago lectures in mathematics. Chicago, Ill.: University of Chicago Press. ص. 39–55. ISBN:0-226-51183-9. OCLC:41266205. مؤرشف من الأصل (PDF) في 2025-03-27.

ucr.edu (Global: 1,553^rd place; Arabic: 2,727^th place)

math.ucr.edu

Baez، John C.؛ Stay، Mike (6 يونيو 2009). "Physics, Topology, Logic and Computation: A Rosetta Stone". في Coecke، Bob (المحرر). New Structures for Physics (PDF). Lecture Notes in Physics. برلين، هايدلبرغ: Springer (نُشِر في 5 يوليو 2010). ج. 813: New Structures for Physics. ص. 95–172. arXiv:0903.0340. DOI:10.1007/978-3-642-12821-9_2. ISBN:978-3-642-12821-9. S2CID:115169297. مؤرشف من الأصل (PDF) في 2022-12-05.

uncarved.com (Global: low place; Arabic: low place)

[[1](https://www.uncarved.com/articles/not-currying/) "Partial Function Application is not Currying"]. The Uncarved Block. 7 أغسطس 2020. [[2](https://web.archive.org/web/20161023205431/http://www.uncarved.com/articles/not_currying) مؤرشف] من الأصل في 2016-10-23. {{استشهاد ويب}}: تحقق من قيمة |مسار أرشيف= (مساعدة) وتحقق من قيمة |مسار= (مساعدة)

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

cdiggins (24 مايو 2007). "Currying != Generalized Partial Application?!". Lambda the Ultimate: The Programming Languages Weblog. مؤرشف من الأصل في 2024-12-09.
[[1](https://www.uncarved.com/articles/not-currying/) "Partial Function Application is not Currying"]. The Uncarved Block. 7 أغسطس 2020. [[2](https://web.archive.org/web/20161023205431/http://www.uncarved.com/articles/not_currying) مؤرشف] من الأصل في 2016-10-23. {{استشهاد ويب}}: تحقق من قيمة |مسار أرشيف= (مساعدة) وتحقق من قيمة |مسار= (مساعدة)
Baez، John C.؛ Stay، Mike (6 يونيو 2009). "Physics, Topology, Logic and Computation: A Rosetta Stone". في Coecke، Bob (المحرر). New Structures for Physics (PDF). Lecture Notes in Physics. برلين، هايدلبرغ: Springer (نُشِر في 5 يوليو 2010). ج. 813: New Structures for Physics. ص. 95–172. arXiv:0903.0340. DOI:10.1007/978-3-642-12821-9_2. ISBN:978-3-642-12821-9. S2CID:115169297. مؤرشف من الأصل (PDF) في 2022-12-05.
Schönfinkel، Moses (سبتمبر 1924) [تم تقديمه في جمعية الرياضيات في غوتينغن بتاريخ 7 ديسمبر 1920. واستلمته مجلة حوليات الرياضيات في 15 مارس 1924.]. كتب في موسكو. "Über die Bausteine der mathematischen Logik" [حول اللبنات الأساسية للمنطق الرياضي] (PDF). حوليات الرياضيات (مجلة ألمانية). برلين؟: سبرنغر. ج. 92 ع. 3–4: 305–316. DOI:10.1007/BF01448013. S2CID:118507515. مؤرشف من الأصل (PDF) في 2024-05-15.
نُشر أولًا في Reynolds, John C. (1 Aug 1972). "Definitional interpreters for higher-order programming languages". In Shields, Rosemary (ed.). Proceedings of the ACM annual conference - ACM '72 (بالإنجليزية). ACM Press. Vol. 2. pp. 717–740. DOI:10.1145/800194.805852. ISBN:9781450374927. S2CID:163294. Archived from the original on 2024-07-07. في السطر الأخير استخدمنا خدعة تُعرف بالتحوير الكاري (سُميت بذلك نسبة إلى المنطقي هاسكل كاري) لحل مشكلة إدخال عملية ثنائية في لغة لا تقبل إلا وسيطًا واحدًا لكل دالة. (علّق المُراجع بأن "التحوير الكاري" أكثر طرافة، لكن "شونفينكلينغ" أدق.) نُشرت لاحقًا في Reynolds، John C. (1998). "Definitional Interpreters for Higher-Order Programming Languages". Higher-Order and Symbolic Computation. بوسطن: Kluwer Academic Publishers. ج. 11 ع. 4: 363–397. DOI:10.1023/A:1010027404223. 13. مؤرشف من الأصل في 2025-01-26.
Slonneger، Kenneth؛ Kurtz، Barry L. (1995). "الدوال المحوّرة، 5.1: مفاهيم وأمثلة، الفصل الخامس: حساب لامبدا". Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach (PDF). Addison-Wesley Publishing Company. ص. 144. ISBN:0-201-65697-3. مؤرشف من الأصل (PDF) في 2025-01-09.
"التحوير الكاري وشونفينكل". ويكي مستودع أنماط بورتلاند. Cunningham & Cunningham, Inc. 6 مايو 2012. مؤرشف من الأصل في 2024-12-09.
Barendregt، Henk؛ Barendsen، Erik (مارس 2000) [ديسمبر 1998]. Introduction to Lambda Calculus (PDF) (ط. منقحة). ص. 8. مؤرشف من الأصل (PDF) في 2025-02-07.
Hutton، Graham؛ Jones، Mark P.، المحررون (نوفمبر 2002). "Frequently Asked Questions for comp.lang.functional, 3. Technical topics, 3.2. Currying". University of Nottingham Computer Science. مؤرشف من الأصل في 2015-08-25.
Heim, Irene; Kratzer, Angelika (2 Jan 1998). Semantics in Generative Grammar (PDF) (بالإنجليزية). Malden, Massachusetts: Blackwell Publishers, an imprint of Wiley. ISBN:0-631-19712-5. Archived from the original (PDF) on 2024-09-10.{{استشهاد بكتاب}}: صيانة الاستشهاد: التاريخ والسنة (link)
Turner، David (1 يونيو 1997). "Programming language, Currying, or Schonfinkeling?, #9 / 14". Computer Programming Language Forum. مؤرشف من الأصل في 2022-03-03. اطلع عليه بتاريخ 2022-03-03.
May، Jon Peter (1999). A concise course in algebraic topology (PDF). Chicago lectures in mathematics. Chicago, Ill.: University of Chicago Press. ص. 39–55. ISBN:0-226-51183-9. OCLC:41266205. مؤرشف من الأصل (PDF) في 2025-03-27.
"compactly generated topological space". nLab. 28 مايو 2023. مؤرشف من الأصل في 2025-03-11.
Tillotson، J.؛ Booth، Peter I. (مارس 1980) [Received 2 October 1978, revised 29 June 1979, published 1 May 1980]. كتب في Memorial University of Newfoundland. "Monoidal closed, Cartesian closed and convenient categories of topological spaces" (PDF). Pacific Journal of Mathematics. Berkeley, California: Mathematical Sciences Publishers. ج. 88 ع. 1: 35–53. DOI:10.2140/pjm.1980.88.35. eISSN:1945-5844. ISSN:0030-8730. مؤرشف من الأصل (PDF) في 2024-10-06.
"convenient category of topological spaces". nLab. 11 أغسطس 2023. مؤرشف من الأصل في 2025-04-03.
Rotman، Joseph Jonah (1988). "Chapter 11". An introduction to algebraic topology. Graduate texts in mathematics; 119. New York: Springer-Verlag. ISBN:978-0-387-96678-6. OCLC:17383909. مؤرشف من الأصل في 2025-04-01.

worldcat.org (Global: 5^th place; Arabic: 4^th place)

search.worldcat.org

May، Jon Peter (1999). A concise course in algebraic topology (PDF). Chicago lectures in mathematics. Chicago, Ill.: University of Chicago Press. ص. 39–55. ISBN:0-226-51183-9. OCLC:41266205. مؤرشف من الأصل (PDF) في 2025-03-27.
Rotman، Joseph Jonah (1988). "Chapter 11". An introduction to algebraic topology. Graduate texts in mathematics; 119. New York: Springer-Verlag. ISBN:978-0-387-96678-6. OCLC:17383909. مؤرشف من الأصل في 2025-04-01.

التكرير (تقنية في البرمجة الوظيفية) (Arabic Wikipedia)

acm.org (Global: 1,185th place; Arabic: 1,160th place)

portal.acm.org

archive.org (Global: 6th place; Arabic: 3rd place)

arxiv.org (Global: 69th place; Arabic: 207th place)

books.google.com (Global: 3rd place; Arabic: 8th place)

brown.edu (Global: 2,481st place; Arabic: 4,953rd place)

cs.brown.edu

c2.com (Global: 5,959th place; Arabic: 5,742nd place)

wiki.c2.com

chalmers.se (Global: low place; Arabic: low place)

cse.chalmers.se

computer-programming-forum.com (Global: low place; Arabic: low place)

doi.org (Global: 2nd place; Arabic: 5th place)

issn.org (Global: 57th place; Arabic: 1,629th place)

portal.issn.org

lambda-the-ultimate.org (Global: low place; Arabic: low place)

lmu.de (Global: low place; Arabic: low place)

cip.ifi.lmu.de

msp.org (Global: low place; Arabic: low place)

ncatlab.org (Global: low place; Arabic: 7,637th place)

nott.ac.uk (Global: low place; Arabic: low place)

cs.nott.ac.uk

preterhuman.net (Global: low place; Arabic: low place)

cdn.preterhuman.net

psu.edu (Global: 207th place; Arabic: 462nd place)

citeseerx.ist.psu.edu

semanticscholar.org (Global: 11th place; Arabic: 86th place)

api.semanticscholar.org

slid.es (Global: low place; Arabic: low place)

syr.edu (Global: 3,753rd place; Arabic: 4,337th place)

surface.syr.edu

uchicago.edu (Global: 230th place; Arabic: 280th place)

math.uchicago.edu

ucr.edu (Global: 1,553rd place; Arabic: 2,727th place)

math.ucr.edu

uncarved.com (Global: low place; Arabic: low place)

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

worldcat.org (Global: 5th place; Arabic: 4th place)

search.worldcat.org

acm.org (Global: 1,185^th place; Arabic: 1,160^th place)

archive.org (Global: 6^th place; Arabic: 3^rd place)

arxiv.org (Global: 69^th place; Arabic: 207^th place)

books.google.com (Global: 3^rd place; Arabic: 8^th place)

brown.edu (Global: 2,481^st place; Arabic: 4,953^rd place)

c2.com (Global: 5,959^th place; Arabic: 5,742^nd place)

doi.org (Global: 2^nd place; Arabic: 5^th place)

issn.org (Global: 57^th place; Arabic: 1,629^th place)

ncatlab.org (Global: low place; Arabic: 7,637^th place)

psu.edu (Global: 207^th place; Arabic: 462^nd place)

semanticscholar.org (Global: 11^th place; Arabic: 86^th place)

syr.edu (Global: 3,753^rd place; Arabic: 4,337^th place)

uchicago.edu (Global: 230^th place; Arabic: 280^th place)

ucr.edu (Global: 1,553^rd place; Arabic: 2,727^th place)

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

worldcat.org (Global: 5^th place; Arabic: 4^th place)