Formula for lci (interpreter for lambda calculus)