Implementing Distributed Lamda-Calculus Interpreter | IEEE Conference Publication | IEEE Xplore