Comment by tromp

That also sounds like a good french name for Binary Lamda Calculus.