Printer friendly

What does TLCA stand for?

TLCA stands for Typed Lambda Calculus and Applications


This definition appears somewhat frequently

See other definitions of TLCA

Other Resources: Acronym Finder has 19 verified definitions for TLCA

Samples in periodicals archive:

Type theory enriches the untyped λ-calculus by requiring that terms be given types. In the untyped λ-calculus, the application MN is a legal term regardless of what M and N are. Such freedom permits one to form such suspicious terms as xx, and thence terms such as the paradoxical combinator Y. One might wish to exclude terms like xx on the grounds that x is serving both as a function (on the left-hand side of the application) and as an argument (on the right-hand side of the application).