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

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

03:28 No Comments
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

Unknown

Artikel Terkait

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

Post a Comment

Subscribe to: Post Comments (Atom)