Binary combinatory logic

From Free net encyclopedia