Question

SKI combinatory calculus, $M$ doesn't have a normal form. Find $(M S)$ that has a normal form

score 70 · Answer 1 · 2026-03-25 17:45:18

70

Views

SKI combinatory calculus, $M$ doesn't have a normal form. Find $(M S)$ that has a normal form

Published on 25 Mar 2026 - 17:45

score 83 · Answer 2 · 2023-09-05 13:06:14

83

Views

How do you formally show that “being a subterm of” is a transitive relation (on λ-terms)?

Published on 05 Sep 2023 - 13:06

score 62 · Answer 3 · 2026-03-26 02:53:41

62

Views

Find an inhabitant for type $\phi$

Published on 26 Mar 2026 - 2:53

score 85 · Answer 4 · 2023-09-15 18:01:22

85

Views

Lambda Calculus Equivalence and Call by name

Published on 15 Sep 2023 - 18:01

score 55 · Answer 5 · 2023-09-17 19:53:07

55

Views

Why does alpha equivalence not apply to free variables?

Published on 17 Sep 2023 - 19:53

score 32 · Answer 6 · 2023-09-17 22:21:55

32

Views

Induction on the length of a lambda-term

Published on 17 Sep 2023 - 22:21

score 86 · Answer 7 · 2023-09-26 11:14:24

86

Views

If closed lambda calculus expression $M$ doesn't have a normal form, can $λx.λy.(M (x y))$ have a normal form?

Published on 26 Sep 2023 - 11:14

score 57 · Answer 8 · 2023-10-01 19:27:22

57

Views

Is this $\alpha$-conversion correct?

Published on 01 Oct 2023 - 19:27

score 81 · Answer 9 · 2023-10-02 07:59:30

81

Views

Checking equivalence of lambda terms

Published on 02 Oct 2023 - 7:59

score 128 · Answer 10 · 2023-10-03 15:13:21

128

Views

isDivisible function in lambda calculus for Church numerals

Published on 03 Oct 2023 - 15:13

score 77 · Answer 11 · 2026-03-25 17:37:36

77

Views

Combinators that form a 1-symbol basis of alternating associative combinatory logic

Published on 25 Mar 2026 - 17:37

score 112 · Answer 12 · 2026-03-25 19:02:16

112

Views

Fixed-point of a function and an inverse problem

Published on 25 Mar 2026 - 19:02

score 79 · Answer 13 · 2023-11-18 15:50:07

79

Views

Predecessor function in λI-calculus

Published on 18 Nov 2023 - 15:50

score 50 · Answer 14 · 2023-11-28 14:19:58

50

Views

How do interpret $x \lambda y . \lambda z . x$?

Published on 28 Nov 2023 - 14:19

score 260 · Answer 15 · 2026-02-23 13:40:32

260

Views

Turing-complete recursive function using only $a^b$ and $\log_b a$

Published on 23 Feb 2026 - 13:40

List Question

SKI combinatory calculus, $M$ doesn't have a normal form. Find $(M S)$ that has a normal form

How do you formally show that “being a subterm of” is a transitive relation (on λ-terms)?

Find an inhabitant for type $\phi$

Lambda Calculus Equivalence and Call by name

Why does alpha equivalence not apply to free variables?

Induction on the length of a lambda-term

If closed lambda calculus expression $M$ doesn't have a normal form, can $λx.λy.(M (x y))$ have a normal form?

Is this $\alpha$-conversion correct?

Checking equivalence of lambda terms

isDivisible function in lambda calculus for Church numerals

Combinators that form a 1-symbol basis of alternating associative combinatory logic

Fixed-point of a function and an inverse problem

Predecessor function in λI-calculus

How do interpret $x \lambda y . \lambda z . x$?

Turing-complete recursive function using only $a^b$ and $\log_b a$

Trending Questions

Popular # Hahtags

Popular Questions