Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Λμ-calculus was introduced as a Bohm-complete extension of Parigot's λμ-calculus. Λμ-calculus, contrarily to Parigot's calculus, is a calculus of CBN delimited control as evidenced by Herbelin and Ghilezan. In their seminal paper on (CBV) delimited control, Danvy and Filinski introduced the CPS Hierarchy of control operators (shifti/reseti)i∈ω.#R##N##R##N#In a similar way,  introduce in the present paper the Stream Hierarchy, a hierarchy of calculi extending and generalizing Λμ-calculus. The $(\Lambda^n)_{n\in\omega}$-calculi have Church-Rosser and Bohm theorems.  then present sound and complete CPS translations for the hierarchy. Next,  investigate the operational content of the hierarchy through its abstract machines, the $(\Lambda^n)_{n\in\omega}$-KAM. Finally,  establish that the Stream hierarchy is indeed a CBN analogue to the CPS hierarchy.
['Alexis Saurin']
I am writing a research paper on a idea A hierarchy for delimited continuations in call-by-name
[{"from": "human", "value": "I am writing a research paper on a idea A hierarchy for delimited continuations in call-by-name"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: \u039b\u03bc-calculus was introduced as a Bohm-complete extension of Parigot's \u03bb\u03bc-calculus. \u039b\u03bc-calculus, contrarily to Parigot's calculus, is a calculus of CBN delimited control as evidenced by Herbelin and Ghilezan. In their seminal paper on (CBV) delimited control, Danvy and Filinski introduced the CPS Hierarchy of control operators (shifti/reseti)i\u2208\u03c9.#R##N##R##N#In a similar way,  introduce in the present paper the Stream Hierarchy, a hierarchy of calculi extending and generalizing \u039b\u03bc-calculus. The $(\\Lambda^n)_{n\\in\\omega}$-calculi have Church-Rosser and Bohm theorems.  then present sound and complete CPS translations for the hierarchy. Next,  investigate the operational content of the hierarchy through its abstract machines, the $(\\Lambda^n)_{n\\in\\omega}$-KAM. Finally,  establish that the Stream hierarchy is indeed a CBN analogue to the CPS hierarchy."}]