Это определенно графы. Непонятна мотивация искать циклы.
Например если вы боитесь что такая программа зациклиться - то нет, если вы будете использовать память для каждого результата.
Если вы использовать память не намерены, и будете вычислять значения аргументов по мере надобности, то тут никаким графом не помочь. Вам всегда будут нужны результаты аргументов, которые зависят от ... которые за висят от .. и т.д. до бесконечности.
Если вы хотите оптимизировать вычисления с помощью ленивости, то в любом случае нужна будет память.
