Lambda-abstraction
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.
