Lambda Cube

Concept of dependent type theory where cube coordinate determines what may depend on what (Eg. types depending on terms). https://en.wikipedia.org/wiki/Lambda_cube