资料来源 : Free On-Line Dictionary of Computing

pure lambda-calculus
     
        {Lambda-calculus} with no constants, only functions expressed
        as {lambda abstraction}s.
     
        (1994-10-27)