On this notion, a very good talk "On the expressive power of programming languages"[1][2] which attempts to provide a formal basis for distinguishing between ex

On this notion, a very good talk "On the expressive power of programming languages"[1][2] which attempts to provide a formal basis for distinguishing between expressive power of turning complete languages. [1] https://youtu.be/43XaZEn2aLc https://youtu.be/43XaZEn2aLc [2] The paper it's based on https://homepage.cs.uiowa.edu/~jgmorrs/eecs762f19/papers/felleisen.pdf https://homepage.cs.uiowa.edu/~jgmorrs/eecs762f19/papers/fel...