Interesting talk by Shriram Krishnamurthi, about how to know if languages are different beyond having Turing completeness with mathematical proofs, and how to know if adding a feature to a language adds expressiveness.
The referenced paper is:
Other referenced papers: