Printer friendly

What does TLCA stand for?

TLCA stands for Typed Lambda Calculi Applications


This definition appears very rarely

See other definitions of TLCA

Other Resources: Acronym Finder has 19 verified definitions for 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.