I believe this makes me owner #2 of the #t3x programming language formal definition. My first inclination is to write a lisp for the tcode machine but given the author I feel this has already happened? Chapter 6 is very cool to see the variants of asm for each instruction for z80 8086 and ARMv6.
This may very well be the most useless book I have ever written, and I don't even know why I did. I guess it is still better than getting drunk in a bar.
Anyway, it defines the #T3X programming language formally in terms of basic functions (zero, successor, identity, mu) and naive set theory. I have no idea why anybody would read such a book. Maybe you can give me some hints? :)
Or, in case you want to prove me wrong: http://t3x.org/t3x/0/formal.html #programming, #semantics, #math, #futility