适合人群:Mathematicians, Logicians, Computer Scientists, Philosophers, Students of Semiotics, and anyone interested in the foundations of mathematics and computation
Combinatory logic is a notation to eliminate the need for quantified variables in mathematical logic. It was introduced by Moses Schönfinkel and Haskell Curry, and has more recently been used in computer science as a theoretical model of computation and also as a basis for the design of functional programming languages. It is based on combinators. A combinator is a higher-order function that uses only function application and earlier defined combinators to define a result from its arguments.
ISBN:9780720422085
出版日期:1958 适合人群:Mathematicians, Logicians, Computer Scientists, Philosophers, Students of Semiotics, and anyone interested in the foundations of mathematics and computation