Keywords

#binary_combinatory_logic

Binary combinatory logic

Computer programming language

Binary combinatory logic (BCL) is a computer programming language that uses binary terms 0 and 1 to create a complete formulation of combinatory logic using only the symbols 0 and 1. Using the S and K combinators, complex boolean algebra functions can be made. BCL has applications in the theory of program-size complexity.

Wed 24th

Provided by Wikipedia

Learn More

This keyword could refer to multiple things. Here are some suggestions:

Binary combinatory logic Combinatory logic Moses Schönfinkel BCL SKI combinator calculus John Tromp Iota and Jot Algebraic logic Outline of logic Mathematical logic
0 searches
This keyword has never been searched before
This keyword has never been searched for with any other keyword.