Якщо ви подивитеся на рекурсивні комбінатори в нетиповому рахунку лямбда-числення, як-от Y-комбінатор або омега-комбінатор:
Крім того, всі ці комбінатори можна ввести в просто набраному лямбдальному обчисленні, якщо розширити його рекурсивними типами , де дозволено відбуватися негативно в рекурсивном типу.
Однак, що станеться, якщо до фрагмента лінійної логіки (тобто MALL) додати повний рекурсивний тип (негативне виникнення) рекурсивних типів?
Чи трапляється так, що MALL плюс необмежений рекурсивний тип все ще нормалізується‽