Lambda-abstraction

From Glottopedia
Jump to: navigation, 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.