TL/I <language> An intermediate language for {Turing Machines}. ["Examples of Formal Semantics", D. Knuth in Symp on Semantics of Algorithmic Languages, E. Engeler ed, LNM 188, Springer 1971, pp. 212-235]. (1994-12-02)
TLI Transport Level Interface (AT&T)