Как известно есть рекурсивно определяемое понятие
гипероператора, которое для

дает сложение, умножение, возведение в степень и тетрацию. А существуют ли обобщения понятия гипероператора на нецелые (возможно, иррациональные или комплексные) значения

Есть ли какие-то работы на эту тему?