List questions from lambda-calculus | MathQA

Construction of Factorial as a Recursive Function from Initial Functions and Closure Operations

Published on 12 Dec 2022 - 1:44

Subterms of a lambda application?

Published on 17 Dec 2022 - 0:45

Tetration of Church numerals?

Published on 18 Dec 2022 - 5:43

How do we establish the correspondence between the Krivine machine and classical logic?

Published on 20 Dec 2022 - 20:21

Is lambda calculus a sub-system of first-order logic and set theory?

Published on 01 Jan 2023 - 19:56

How to prove $M = N$ is equivalent to $M =_{\beta} N$ in Lambda Calculus

Published on 05 Jan 2023 - 7:48

Lambda Calculus: Proving exponent property by induction

Published on 08 Jan 2023 - 10:57

Can in polymorphic lambda calculus two terms have identical normal forms if we assume that set of their possible types does not intersect?

Published on 17 Jan 2023 - 11:57

Equivalence of "compatible relation" definitions

Published on 25 Mar 2026 - 12:16