Алгебраические подходы к теории алгоритмов

[Durutti]

Добрый день.
Очень интересуют алгебраические (категорные, возможно, групповые-кольцевые-схемные) подходы к теории алгоритмов/вычислимости. Не подскажете какие-нибудь не слишком advanced источники по этой теме (а лучше всего - где такие искать)? И насколько вообще разработана эта область?
Буду благодарен за любую информацию.