Lambda Cube
introduced by Henk Barendregt
https://en.wikipedia.org/wiki/Lambda_cube
#Math