English Haskell Curry Cited by user Citation bot on 20 Jul 2023 Haskell Brooks Curry (September 12, 1900 – September 1, 1982) was an American mathematician and logician.
Romanian Notație prefixată Cited by user Turbojet on 08 Apr 2023 thumb|upright=0.9|Ordinea operatorului și a operanzilor în notația prefixată Notația prefixată sau notația poloneză prefixată este o notație în care operatorii sunt plasaț…
English Polish notation Cited by user Citation bot on 10 Nov 2022 Polish notation (PN), also known as normal Polish notation (NPN), Łukasiewicz notation, Warsaw notation, Polish prefix notation or simply prefix notation, is a…
English SKI combinator calculus Cited by user RDBrown on 13 May 2022 The SKI combinator calculus is a combinatory logic system and a computational system.
Ukrainian Комбінаторна логіка Cited by user Vlasenko D on 06 Mar 2019 Комбінаторна логіка — це нотація для усунення необхідності кількісних змінних в математичній логіці.
English Combinatory logic Cited by user Rjwilmsi on 08 Apr 2018 Combinatory logic is a notation to eliminate the need for quantified variables in mathematical logic.
English Moses Schönfinkel Cited by user Rjwilmsi on 26 Oct 2017 Moses Ilyich Schönfinkel, also known as Moisei Isai'evich Sheinfinkel' (Russian: Моисей Исаевич Шейнфинкель; 4 September 1889–1942), was a Russian logician and…
Catalan Currificació Cited by user Xbosch on 23 Oct 2013 En tecnologies de la informació currificar és una tècnica, inventada per Schönfinkel i Gottlob Frege, i de manera independent per Haskell Curry, que consisteix a…
English Currying Cited by user Ruud Koot on 26 Apr 2011 In mathematics and computer science, currying is the technique of translating the evaluation of a function that takes multiple arguments (or a tuple of arguments) into…