It is based on combinatory logic, a version of the lambda calculus that omits the lambda operator.
He is also interested in Computational Musical Analysis and combinatory logic.
