Can I read Lambda Notation in Natural Language on EtoBox?

Lambda Notation in Natural Language by Nifflheim is a document available to read on EtoBox.

What is Lambda Notation in Natural Language about?

The document discusses lambda notation, which provides a compact way to represent functions in semantics. It introduces basic lambda notation syntax and semantics. Functions can take entities or truth values as arguments. More complexly, functions can also take other functions as arguments. The document uses an example of the semantics of the English connective "and" to illustrate how lambda notation can represent a function that combines two verb phrases. It determines the necessary types for the expressio

Author

Nifflheim

Language

EN