A three-dimensional GraphicalProgrammingLanguage for higher-order logic.
"The Cube Language", M. Najork et al, 1991 IEEE Workshop on Visual Languages, Oct 1991, pp.218-224.
http://research.microsoft.com/~najork/
CategoryProgrammingLanguage