Lambda Calculus

functional programming - Is Lambda Calculus purely syntactic? - Computer Science Stack Exchange

• url: https://cs.stackexchange.com/questions/110375/is-lambda-calculus-purely-syntactic

.

What are the axioms, inference rules, and (formal) semantics of lambda calculus? - Computer Science Stack Exchange

• url: https://cs.stackexchange.com/questions/28452/what-are-the-axioms-inference-rules-and-formal-semantics-of-lambda-calculus

.

lo.logic - What\'s the point of \$\eta\$-conversion in lambda calculus? - Theoretical Computer Science Stack Exchange

• url: https://cstheory.stackexchange.com/questions/8259/whats-the-point-of-eta-conversion-in-lambda-calculus

.

lambda calculus - What\'s the definition of equational theory? Why is λ logic free? - Mathematics Stack Exchange

• url: https://math.stackexchange.com/questions/802494/whats-the-definition-of-equational-theory-why-is-%CE%BB-logic-free

.

lo.logic - Scott on the consistency of the lambda calculus - MathOverflow

• url: https://mathoverflow.net/questions/16752/scott-on-the-consistency-of-the-lambda-calculus

.

Lambda Terms

• is-heading: true

.

The largest number representable in 64 bits

• url: https://tromp.github.io/blog/2023/11/24/largest-number

.

lo.logic - What\'t the smallest lambda calculus term which is not known to have a normal form? - MathOverflow

• url: https://mathoverflow.net/questions/353514/whatt-the-smallest-lambda-calculus-term-which-is-not-known-to-have-a-normal-for

.