This definition appears very rarely
See other definitions of TLCA
Samples in periodicals archive:
Dal Zilio and D. Lugiez, XML Schema, Tree Logic and Sheaves Automata N. Hirokawa and A. Middeldorp, Tsukuba Termination Tool Submitted: 61, Accepted: 32 (including 6 systems) Web site, Call for papers, Contents, BibTeX file, Minutes of the Business Meeting. RTA-14 was part of the Federated Conference on Rewriting, Deduction and Programming (RDP'03), together with the 6th Conference on Typed Lambda Calculi and Applications.
delim-control-logic. pdf [250K]The extended (with Appendices) version of the paper published in Proc. of Int. Conf. on Typed Lambda Calculi and Applications.