Difference between revisions of "Lambda-abstraction"
Jump to navigation
Jump to search
Wohlgemuth (talk | contribs) m (utrecht) |
(No difference)
|
Latest revision as of 19:59, 16 February 2009
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.
