TLI
{Transport Layer Interface}
TL/I
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)