Has the semantics of TeX (as a programming language) ever been formalized? – cstheory.stackexchange.com 03:28 Posted by Unknown 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
0 Comment to "Has the semantics of TeX (as a programming language) ever been formalized? – cstheory.stackexchange.com"
Post a Comment