Question

Lambda function which generates a sequence

score 94 · Answer 1 · 2026-02-25 00:49:27

94

Views

Lambda function which generates a sequence

Published on 25 Feb 2026 - 0:49

score 100 · Answer 2 · 2023-06-07 16:35:22

Proving that the Curry fixed point combinator y and the Turing fixed point combinator θ cannot be proved equal in λβ

score 72 · Answer 3 · 2023-06-10 04:25:39

72

Views

How to convert lambda expressions into morphisms in a Cartesian Closed Category?

Published on 10 Jun 2023 - 4:25

score 143 · Answer 4 · 2023-06-28 21:44:40

143

Views

Simplyfing $(\lambda y. z)((\lambda x. x x)(\lambda x. x x))$

Published on 28 Jun 2023 - 21:44

score 52 · Answer 5 · 2023-06-30 06:47:40

52

Views

Lambda calculus: "succ expressions" are all polynomial functions on Church numerals?

Published on 30 Jun 2023 - 6:47

score 71 · Answer 6 · 2023-07-03 16:08:04

71

Views

Substitution in a complex lambda calculus formula

Published on 03 Jul 2023 - 16:08

score 33 · Answer 7 · 2023-07-10 13:08:59

33

Views

Beta reduction on $(\lambda x . xu)(\lambda z. wzwz)yv$

Published on 10 Jul 2023 - 13:08

score 29 · Answer 8 · 2026-03-25 11:08:04

29

Views

$(\lambda z. zy)(\lambda z. zy)$ - reducing using $\beta$ reduction and $\alpha$ conversion

Published on 25 Mar 2026 - 11:08

score 97 · Answer 9 · 2023-07-12 17:01:33

97

Views

Using beta reduction on $ \lambda y. ( \lambda x. \lambda y. y x)(\lambda z. y z)$

Published on 12 Jul 2023 - 17:01

score 107 · Answer 10 · 2023-07-15 16:02:02

107

Views

What is infinitary lambda calculus?

Published on 15 Jul 2023 - 16:02

score 29 · Answer 11 · 2023-07-19 08:35:18

29

Views

Substitution of M in Beta Reduction (Lambda Calculus)

Published on 19 Jul 2023 - 8:35

score 151 · Answer 12 · 2023-08-04 18:25:37

151

Views

An overview of mathematical-logical approaches in formalizing natural languages

Published on 04 Aug 2023 - 18:25

score 128 · Answer 13 · 2026-03-26 01:03:25

128

Views

Does Curry-Howard correspondence mean that everyone who writes a program is doing intuitionistic mathematics?

Published on 26 Mar 2026 - 1:03

score 48 · Answer 14 · 2023-08-15 18:37:27

48

Views

Do you multiply or add when simplifying $λ$-expressions?

Published on 15 Aug 2023 - 18:37

score 34 · Answer 15 · 2023-08-18 09:20:32

34

Views

Alpha conversion and free variables

Published on 18 Aug 2023 - 9:20

List Question

Lambda function which generates a sequence

Proving that the Curry fixed point combinator y and the Turing fixed point combinator θ cannot be proved equal in λβ

How to convert lambda expressions into morphisms in a Cartesian Closed Category?

Simplyfing $(\lambda y. z)((\lambda x. x x)(\lambda x. x x))$

Lambda calculus: "succ expressions" are all polynomial functions on Church numerals?

Substitution in a complex lambda calculus formula

Beta reduction on $(\lambda x . xu)(\lambda z. wzwz)yv$

$(\lambda z. zy)(\lambda z. zy)$ - reducing using $\beta$ reduction and $\alpha$ conversion

Using beta reduction on $ \lambda y. ( \lambda x. \lambda y. y x)(\lambda z. y z)$

What is infinitary lambda calculus?

Substitution of M in Beta Reduction (Lambda Calculus)

An overview of mathematical-logical approaches in formalizing natural languages

Does Curry-Howard correspondence mean that everyone who writes a program is doing intuitionistic mathematics?

Do you multiply or add when simplifying $λ$-expressions?

Alpha conversion and free variables

Trending Questions

Popular # Hahtags

Popular Questions