Inspirado por esta pregunta , tenía curiosidad por saber si había una estrategia de reducción para los combinadores de SKI sin tipo que se sabía que era normal o perpetua.
Como se describe aquí (Doce aquí ), las reglas no determinantes del cálculo del combinador son las siguientes:
si x → x ′
si y → y ′