Question

Is there a right identity for Application in Lambda calculus?

score 92 · Answer 1 · 2026-03-25 14:11:09

92

Views

Is there a right identity for Application in Lambda calculus?

Published on 25 Mar 2026 - 14:11

score 140 · Answer 2 · 2018-12-19 23:09:39

140

Views

Ambiguity of definition of substitution in lambda calculus

Published on 19 Dec 2018 - 23:09

score 48 · Answer 3 · 2018-12-21 02:31:10

48

Views

Lemma relating to alpha equivalence of lambda terms

Published on 21 Dec 2018 - 2:31

score 53 · Answer 4 · 2018-12-26 01:46:57

53

Views

Type equivalence in $\lambda\underline\omega$ under lambda abstraction

Published on 26 Dec 2018 - 1:46

score 35 · Answer 5 · 2026-03-25 15:39:48

35

Views

exhibiting a turing machine and a λ-term of a boolean function

Published on 25 Mar 2026 - 15:39

score 106 · Answer 6 · 2019-01-09 13:02:17

106

Views

lambda calculus evaluation

Published on 09 Jan 2019 - 13:02

score 121 · Answer 7 · 2019-01-14 04:13:24

121

Views

Thinning lemma in simply typed lambda calculus

Published on 14 Jan 2019 - 4:13

score 229 · Answer 8 · 2026-03-17 18:56:53

229

Views

predecessor and multiplication prove

Published on 17 Mar 2026 - 18:56

score 193 · Answer 9 · 2019-01-27 09:34:22

193

Views

Can we see categories as programming languages?

Published on 27 Jan 2019 - 9:34

score 74 · Answer 10 · 2026-03-25 07:40:56

74

Views

What does the first "non-free" variable mean here when substituting in simple type theory?

Published on 25 Mar 2026 - 7:40

score 105 · Answer 11 · 2019-02-05 09:21:34

105

Views

Use of parenthesis in the body of abstraction in lambda expression

Published on 05 Feb 2019 - 9:21

score 137 · Answer 12 · 2019-02-11 21:49:30

137

Views

Formal definition of substitution being defined in type free lambda calculus

Published on 11 Feb 2019 - 21:49

score 257 · Answer 13 · 2019-02-25 04:12:39

257

Views

Theorem on alpha conversion in type free lambda calculus

Published on 25 Feb 2019 - 4:12

score 140 · Answer 14 · 2019-03-04 18:32:23

140

Views

Lambda Calculus: Reduce $(\lambda x. (\lambda y. x \ y) \ x) \ (\lambda z.p)$

Published on 04 Mar 2019 - 18:32

score 929 · Answer 15 · 2019-03-12 09:18:47

929

Views

Scope of the first x in $(\lambda x. (\lambda x. x x) \ (\lambda x. x x))$

Published on 12 Mar 2019 - 9:18

List Question

Is there a right identity for Application in Lambda calculus?

Ambiguity of definition of substitution in lambda calculus

Lemma relating to alpha equivalence of lambda terms

Type equivalence in $\lambda\underline\omega$ under lambda abstraction

exhibiting a turing machine and a λ-term of a boolean function

lambda calculus evaluation

Thinning lemma in simply typed lambda calculus

predecessor and multiplication prove

Can we see categories as programming languages?

What does the first "non-free" variable mean here when substituting in simple type theory?

Use of parenthesis in the body of abstraction in lambda expression

Formal definition of substitution being defined in type free lambda calculus

Theorem on alpha conversion in type free lambda calculus

Lambda Calculus: Reduce $(\lambda x. (\lambda y. x \ y) \ x) \ (\lambda z.p)$

Scope of the first x in $(\lambda x. (\lambda x. x x) \ (\lambda x. x x))$

Trending Questions

Popular # Hahtags

Popular Questions