Combinatory Logic

← Back to Domain-Specific Abstractions by Domain

1 domain-specific abstractions whose origin domain is Combinatory Logic.

• B, C, K, W system — A basis for combinatory logic using composition, permutation, constant and duplication combinators as primitives.