Interaktionskombinatoren wurden zuvor als Kompilierungsziel für den λ-Kalkül vorgeschlagen. Dieses Papier implementiert den vollständigen λ-Kalkül. Es ist auch bekannt, dass es möglich ist, Interaktionsnetzcodierungen des λ-Kalküls für die Teilmenge von λ-Termen zu optimieren , die EAL-typisierbar ist. In diesem Artikel wird diese Teilmenge des λ-Kalküls implementiert, indem EAL-typisierbare λ-Terme in Interaktionsnetze übersetzt werden, die wohl komplexer sind als Interaktionskombinatoren, da sie ein unendliches Alphabet von Bezeichnungen verwenden, um Duplikatoren zu gruppieren.
Ich frage mich, ob es möglich ist, beide Vorschläge zu kombinieren. Das heißt, gibt es eine Codierung für den abstrakten Algorithmus - dh λ-Terme, die EAL-typisierbar sind - als Interaktionskombinatoren?