combinatory logic

logical formalism using combinators instead of variables

Categories: