Question

Missing parentheses in $s(k (s I I))(s(\lambda y. s(k y))(\lambda y. s I I)$ leads to interesting error in an nLab page. Need a double check.

score 114 · Answer 1 · 2026-03-25 10:56:58

114

Views

Missing parentheses in $s(k (s I I))(s(\lambda y. s(k y))(\lambda y. s I I)$ leads to interesting error in an nLab page. Need a double check.

Published on 25 Mar 2026 - 10:56

score 60 · Answer 2 · 2021-12-14 05:04:59

60

Views

General notation for $\lambda x_1 … x_n.x_i$? Can it be called $\pi^n_i$?

Published on 14 Dec 2021 - 5:04

score 142 · Answer 3 · 2021-12-15 16:19:08

142

Views

In $\lambda$-calculus, is there a way to undo an application $(AB)$ to get back just $A$ or just $B$?

Published on 15 Dec 2021 - 16:19

score 107 · Answer 4 · 2021-12-19 00:01:56

107

Views

Opposite Direction of Church-Rosser Theorem

Published on 19 Dec 2021 - 0:01

score 62 · Answer 5 · 2026-03-25 12:19:26

62

Views

Convertibility of Two Lambda Expressions Equivalent to Existence of a Common Reduct

Published on 25 Mar 2026 - 12:19

score 64 · Answer 6 · 2021-12-23 03:40:27

64

Views

Chained substitutions of an application in $\lambda$-calculus, e.g. $AB[C/x][D/y]$

Published on 23 Dec 2021 - 3:40

score 91 · Answer 7 · 2026-03-27 00:01:44

91

Views

What does this typed lambda-calculus notation mean?

Published on 27 Mar 2026 - 0:01

score 207 · Answer 8 · 2021-12-24 20:59:18

207

Views

How to Prove a Lemma in Lambda Calculus about Contexts

Published on 24 Dec 2021 - 20:59

score 87 · Answer 9 · 2022-01-01 21:32:48

What is the cardinality of the set of untyped $\lambda$-calculus functions? I know it’s an infinity, but is it countable or uncountable?

score 227 · Answer 10 · 2022-01-03 14:18:32

227

Views

Why is $\lambda x.\lambda y.xy$ not reducible to $\lambda x.x$?

Published on 03 Jan 2022 - 14:18

score 147 · Answer 11 · 2026-02-23 11:35:04

147

Views

Is it possible to use Unification for lambda calculus?

Published on 23 Feb 2026 - 11:35

score 114 · Answer 12 · 2022-02-06 13:37:40

114

Views

theorem for free: relation cartesian product

Published on 06 Feb 2022 - 13:37

score 51 · Answer 13 · 2022-03-01 10:17:36

51

Views

Prove: if Γ ⊢ L : σ, then Γ is a λ2-context.

Published on 01 Mar 2022 - 10:17

score 260 · Answer 14 · 2022-03-08 20:45:07

260

Views

How do I prove "1 not True == False" in Lambda Calculus?

Published on 08 Mar 2022 - 20:45

score 50 · Answer 15 · 2022-03-13 17:40:13

50

Views

Lambda Calculus Beta Reduction - How do I do this?

Published on 13 Mar 2022 - 17:40

List Question

Missing parentheses in $s(k (s I I))(s(\lambda y. s(k y))(\lambda y. s I I)$ leads to interesting error in an nLab page. Need a double check.

General notation for $\lambda x_1 … x_n.x_i$? Can it be called $\pi^n_i$?

In $\lambda$-calculus, is there a way to undo an application $(AB)$ to get back just $A$ or just $B$?

Opposite Direction of Church-Rosser Theorem

Convertibility of Two Lambda Expressions Equivalent to Existence of a Common Reduct

Chained substitutions of an application in $\lambda$-calculus, e.g. $AB[C/x][D/y]$

What does this typed lambda-calculus notation mean?

How to Prove a Lemma in Lambda Calculus about Contexts

What is the cardinality of the set of untyped $\lambda$-calculus functions? I know it’s an infinity, but is it countable or uncountable?

Why is $\lambda x.\lambda y.xy$ not reducible to $\lambda x.x$?

Is it possible to use Unification for lambda calculus?

theorem for free: relation cartesian product

Prove: if Γ ⊢ L : σ, then Γ is a λ2-context.

How do I prove "1 not True == False" in Lambda Calculus?

Lambda Calculus Beta Reduction - How do I do this?

Trending Questions

Popular # Hahtags

Popular Questions