Paths in the lambda-calculus. Three years of communications without understanding | IEEE Conference Publication | IEEE Xplore