Category
page 1Combinatory logic
combinatory logic
logical formalism using combinators instead of variables
fixed-point combinator
higher-order function y for which y f = f (y f)
combinatory categorial grammar
grammar formalism based on combinatory logic
SKI combinator calculus
technique used in functional programming