List questions from lambda-calculus

Published on 24 Jan 2021 - 10:06

76

Views

Beta Reduction Constraints

Published on 26 Mar 2026 - 12:42

171

Views

Parenthesization in Lambda Calculus

Published on 26 Jan 2021 - 0:39

331

Views

SKI Calculus prefix notation of odd/even number

Published on 25 Mar 2026 - 20:34

1.2k

Views

Function "evaluation" just means "composition"?

Published on 29 Jan 2021 - 11:51

428

Views

(How) does lambda calculus encode/use associativity of function composition?

Published on 29 Jan 2021 - 14:04

63

Views

Is $C$ a cartesian closed category here?

Published on 27 Mar 2026 - 23:28

394

Views

Motivation behind Lambda Calculus?

Published on 05 Feb 2021 - 22:55

48

Views

Lambda Calculus Question: If for some λ-terms M and N we have Mx =β Nx. Does it necessarily imply that M =β N?

Published on 09 Mar 2021 - 19:29

157

Views

Evaluating lambda expression call by value Beta reduction

Published on 23 Mar 2021 - 8:28

204

Views

Question about de Bruĳn Notation of lambda calculus

Published on 26 Mar 2021 - 3:29

293

Views

Differences in book definitions of $\beta$-reduction leading to confusion on when an abstraction needs to be $\alpha$-converted

Published on 28 Mar 2026 - 9:34

82

Views

Why is reflexivity a feature of multi-step β-reduction, and not of β-reduction?

Published on 05 Apr 2021 - 9:17

101

Views

$\lambda$-calculus: find $F$ such that $FI = x$ and $FK = y$

Published on 18 Apr 2021 - 13:01

91

Views

What does Quine mean by $\;\hat{a}\phi=\;$V?

Published on 19 Apr 2021 - 18:50

List Question

Functions which are provably total in second order peano arithmetic

Beta Reduction Constraints

Parenthesization in Lambda Calculus

SKI Calculus prefix notation of odd/even number

Function "evaluation" just means "composition"?

(How) does lambda calculus encode/use associativity of function composition?

Is $C$ a cartesian closed category here?

Motivation behind Lambda Calculus?

Lambda Calculus Question: If for some λ-terms M and N we have Mx =β Nx. Does it necessarily imply that M =β N?

Evaluating lambda expression call by value Beta reduction

Question about de Bruĳn Notation of lambda calculus

Differences in book definitions of $\beta$-reduction leading to confusion on when an abstraction needs to be $\alpha$-converted

Why is reflexivity a feature of multi-step β-reduction, and not of β-reduction?

$\lambda$-calculus: find $F$ such that $FI = x$ and $FK = y$

What does Quine mean by $\;\hat{a}\phi=\;$V?

Trending Questions

Popular # Hahtags

Popular Questions