I was reading a paper (PDF) that introduced a term, internal syntax, that I've never heard of. What does this term mean, and how is it different from the source syntax?It looks that the internal syntax is used to formally prove some properties about the language (at least in this paper). I'd like to know the exact definition and the background behind this syntax.
What is the internal syntax of a programming language?
terminology