Find a lambda term satisfying two equations
-
05-11-2019 - |
Frage
I'm just looking for the general idea on how to approach the following problem:
Find a term $\Delta=\lambda x.xUV$ such that:
- $\Delta\Delta=K$
- $\Delta K=S$
(it's a system of 2 equations, I didn't know how to format it properly)
Where $K=\lambda xy.x$ and $S=\lambda xyz.xz(yz)$
I think I need to use Bohm theorem but I don't know exactly how.
Keine korrekte Lösung
Lizenziert unter: CC-BY-SA mit Zuschreibung
Nicht verbunden mit cs.stackexchange