Questions tagged [lambda-calculus]
The lambda-calculus tag has no usage guidance.
2
questions
7
votes
0
answers
56
views
Is Kripke truth semantics related to LUB semantics of the Lambda Calculus?
Lambda Calculus semantics are defined over a formal structure of values that are partially ordered with respect a sort of "more defined" relation. The least element is the completely ...
- 11.1k
5
votes
2
answers
139
views
What is the proof of that self-application in the λ-calculus is not inconsistent?
The SEP entry on lambda calculus discusses its consistency, surmising:
Early formulations of the idea of λ-calculus by A. Church were indeed inconsistent. The Church-Rosser theorem gives us, among ...
- 18.7k