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

"Lambda" is from Greek, so plural would be something like "Lambdada".