Hacker News new | past | comments | ask | show | jobs | submit login

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

[2] The paper it's based on https://homepage.cs.uiowa.edu/~jgmorrs/eecs762f19/papers/fel...




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: