¿Cómo codifica el algoritmo abstracto de Lamping utilizando combinadores de interacción?
Los combinadores de interacción se han propuesto antes como objetivo de compilación para el cálculo λ. Ese documento implementa el cálculo λ completo. También se sabe que es posible optimizar las codificaciones de la red de interacción del cálculo λ para el subconjunto de términos λ que es de tipo...