It's also a well known term in programming language theory: https://www.classes.cs.uchicago.edu/archive/2002/winter/CS33...