|entries|lambda-calculus|