Source : Free On-Line Dictionary of Computing

beta conversion
     
         A term from {lambda-calculus} for {beta reduction} or
        {beta abstraction}.
     
        (1999-01-15)