Lambda-abstraction

From Glottopedia

Revision as of 19:59, 16 February 2009 by Wohlgemuth (talk | contribs) (utrecht)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

Lambda-abstraction is the logical operation of constructing expressions denoting predicates or functions by means of the lambda-operator.

Link

Utrecht Lexicon of Linguistics

References

Gamut, L.T.F. 1991. Logic, language, and meaning, Univ. of Chicago Press, Chicago.

Retrieved from "http://glottopedia.org/index.php?title=Lambda-abstraction&oldid=7883"