Isbn: 9786130627645 - combinatory logic: lambda calculus, moses schönfinkel, haskell curry, variable (mathematics), mathematical logic, computer science, computation, ... function, ski combinator calculus (2 Ergebnisse)

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Combinatory logic is a notation introduced by Moses Schönfinkel and Haskell Curry to eliminate the need for variables in mathematical logic. It 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. 96 pp. Englisch.…

Taschenbuch. Zustand: Neu. Combinatory Logic | Lambda calculus, Moses Schönfinkel, Haskell Curry, Variable (mathematics), Mathematical logic, Computer science, Computation, Functional programming, Higher-order function, SKI combinator calculus | Frederic P. Miller (u. a.) | Taschenbuch | Englisch | 2026 | OmniScriptum | EAN 9786130627645 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu Print on Demand.…