I like what Valve is doing for the Linux world, but I'd like to mention that box86 and box64 have been running x86 games onto arm (incl. android phones) for a long time too... And it does that on Risc-V and LoongArch too...
There is not so much support from companies to this project that I know of, but the people behind box64 manage to make it a solid and fast solution to running windows game on arm.
The paper offers a theoretical account based on the semiology of graphics from Bertin, using Lisp as an example (with very similar examples to Andrey's), but also other languages e.g. Befunge ;-)