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