> For example, his "emulation cones" are a new name for a very old and extremely well-studied idea. The term "rulial space", similarly, is a new name for an idea that's well-developed in programming language theory.

Can you go into a little more detail about the other versions of these ideas? What are they called in other theories?