Lambda-theories: some investigations