Neuromorphic symbolic arithmatic with lambda calculus