4
Otimizando o compilador SKI
O cálculo SKI é uma variante do cálculo Lambda que não usa expressões lambda. Em vez disso, apenas o aplicativo e os combinadores S , K e I são usados. Nesse desafio, sua tarefa é converter os termos de SKI em termos do Lambda na forma normal β . Especificação …