I do things with lambda calculus. Mainly on natural language.