[bodhi]

It’s not exactly what you were after, but there’s a paper called “The Expressive Power of Programming Languages” that might be worth a look:

https://www.sciencedirect.com/science/article/pii/0167642391...