Comment codez-vous l'algorithme abstrait de Lamping à l'aide de combinateurs d'interaction?
Des combinateurs d'interaction ont été proposés comme cible de compilation pour le λ-calcul auparavant. Cet article met en œuvre le λ-calcul complet. Il est également connu qu'il est possible d' optimiser les codages en réseau d'interaction du λ-calcul pour le sous-ensemble de λ-termes qui est...