Has the semantics of TeX (as a programming language) ever been formalized? – cstheory.stackexchange.com

It seems to me that the macro language employed by $\TeX$ can maybe be seen as some kind of term rewriting system or some kind of programming language with call-by-name scoping. Even modern ...

from Hot Questions - Stack Exchange OnStackOverflow
via Blogspot

Share this

0 Comment to "Has the semantics of TeX (as a programming language) ever been formalized? – cstheory.stackexchange.com"