Question

Beta reduction result

score 75 · Answer 1 · 2026-04-30 14:03:53

75

Views

Beta reduction result

Published on 30 Apr 2026 - 14:03

score 669 · Answer 2 · 2026-04-15 06:17:39

669

Views

Beta normal form for the following expression

Published on 15 Apr 2026 - 6:17

score 122 · Answer 3 · 2026-04-16 20:33:09

122

Views

Lambda calculus' syntax disambiguation

Published on 16 Apr 2026 - 20:33

score 679 · Answer 4 · 2026-04-15 00:29:34

679

Views

Beta reductions' evaluation order

Published on 15 Apr 2026 - 0:29

score 291 · Answer 5 · 2026-04-10 08:05:47

291

Views

In Lambda calculus, Is there some alternative equivalence to $\eta$ conversion?

Published on 10 Apr 2026 - 8:05

score 292 · Answer 6 · 2026-04-15 22:46:42

292

Views

Is this proof of Barendregt's Substitution Lemma (lambda calculus) correct?

Published on 15 Apr 2026 - 22:46

score 69 · Answer 7 · 2026-04-15 09:36:20

69

Views

Lambda Calculus and arithmetic hierarchy

Published on 15 Apr 2026 - 9:36

score 123 · Answer 8 · 2026-04-13 09:36:11

123

Views

Are there recursive types in the theory of simple types? If not, how do I prove it?

Published on 13 Apr 2026 - 9:36

score 222 · Answer 9 · 2026-04-29 12:44:11

222

Views

Relationship between the semantics of simply typed lambda calculus and combinatory logic

Published on 29 Apr 2026 - 12:44

score 461 · Answer 10 · 2026-04-11 19:47:38

461

Views

How can types represent both sets and propositions in Lambda calculus?

Published on 11 Apr 2026 - 19:47

score 69 · Answer 11 · 2026-04-12 05:30:33

69

Views

Is anything wrong with this proof idea for showing that evaluation in the simply-typed lambda calculus always halts?

Published on 12 Apr 2026 - 5:30

score 309 · Answer 12 · 2026-04-15 05:55:03

309

Views

How to reduce these equations with beta reduction - lambda calculus

Published on 15 Apr 2026 - 5:55

score 88 · Answer 13 · 2026-04-08 17:49:04

88

Views

How do I simplify these lambda calculus equations?

Published on 08 Apr 2026 - 17:49

score 198 · Answer 14 · 2026-04-10 12:27:27

198

Views

Lambda calculus substitution rule explanation

Published on 10 Apr 2026 - 12:27

score 714 · Answer 15 · 2026-04-12 05:39:43

714

Views

Is this Church encoding of lists correct?

Published on 12 Apr 2026 - 5:39

List Question

Beta reduction result

Beta normal form for the following expression

Lambda calculus' syntax disambiguation

Beta reductions' evaluation order

In Lambda calculus, Is there some alternative equivalence to $\eta$ conversion?

Is this proof of Barendregt's Substitution Lemma (lambda calculus) correct?

Lambda Calculus and arithmetic hierarchy

Are there recursive types in the theory of simple types? If not, how do I prove it?

Relationship between the semantics of simply typed lambda calculus and combinatory logic

How can types represent both sets and propositions in Lambda calculus?

Is anything wrong with this proof idea for showing that evaluation in the simply-typed lambda calculus always halts?

How to reduce these equations with beta reduction - lambda calculus

How do I simplify these lambda calculus equations?

Lambda calculus substitution rule explanation

Is this Church encoding of lists correct?

Trending Questions

Popular # Hahtags

Popular Questions