Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Abstract   Sangiorgi has shown that the semantics induced by Milner's encoding of the call-by-name   λ  -calculus in the   π  -calculus is the equality of Levy–Longo trees. Later it was realized that Milner's encodings are actually variations on ll-known continuation passing style transforms. Then the question is: is the discriminating ability due to   π  -calculus features, or is it already offered by the CPS transform?  show that the latter is true: the semantics induced by the call-by-name CPS transform on   λ  -terms is Levy–Longo trees equality.
['Gérard Boudol']
I am writing a research paper on a idea On the semantics of the call-by-name CPS transform
[{"from": "human", "value": "I am writing a research paper on a idea On the semantics of the call-by-name CPS transform"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Abstract   Sangiorgi has shown that the semantics induced by Milner's encoding of the call-by-name   \u03bb  -calculus in the   \u03c0  -calculus is the equality of Levy\u2013Longo trees. Later it was realized that Milner's encodings are actually variations on ll-known continuation passing style transforms. Then the question is: is the discriminating ability due to   \u03c0  -calculus features, or is it already offered by the CPS transform?  show that the latter is true: the semantics induced by the call-by-name CPS transform on   \u03bb  -terms is Levy\u2013Longo trees equality."}]