Skip to main content

Questions tagged [lambda-calculus]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
4 votes
3 answers
3k views

What is the relationship between lambda calculus and logical form?

I was introduced to lambda calculus as a notation to express the semantics of a phrase, based on the semantics of its parts. I am under the impression lambda calculus does more than that, but I don’t ...
mac389's user avatar
  • 215
0 votes
2 answers
341 views

How to represent a dative verb in first order logic?

I understand that the representation of an intransitive verb, V in lambda calculus would be lambda x. V(x), where x is the subject. How do I represent an intransitive verb followed by a ...
mac389's user avatar
  • 215