Question

Beta reduction result

score 71 · Answer 1 · 2019-07-16 14:46:15

71

Views

Beta reduction result

Published on 16 Jul 2019 - 14:46

score 667 · Answer 2 · 2019-07-16 20:58:29

667

Views

Beta normal form for the following expression

Published on 16 Jul 2019 - 20:58

score 119 · Answer 3 · 2019-07-18 14:27:15

119

Views

Lambda calculus' syntax disambiguation

Published on 18 Jul 2019 - 14:27

score 677 · Answer 4 · 2019-07-19 07:37:50

677

Views

Beta reductions' evaluation order

Published on 19 Jul 2019 - 7:37

score 288 · Answer 5 · 2019-08-01 19:42:42

288

Views

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

Published on 01 Aug 2019 - 19:42

score 289 · Answer 6 · 2019-08-10 19:31:23

289

Views

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

Published on 10 Aug 2019 - 19:31

score 66 · Answer 7 · 2019-08-13 02:04:26

66

Views

Lambda Calculus and arithmetic hierarchy

Published on 13 Aug 2019 - 2:04

score 120 · Answer 8 · 2019-08-13 13:01:51

120

Views

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

Published on 13 Aug 2019 - 13:01

score 215 · Answer 9 · 2026-03-19 23:03:15

215

Views

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

Published on 19 Mar 2026 - 23:03

score 458 · Answer 10 · 2019-08-21 14:05:31

458

Views

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

Published on 21 Aug 2019 - 14:05

score 66 · Answer 11 · 2019-08-24 07:33:56

66

Views

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

Published on 24 Aug 2019 - 7:33

score 306 · Answer 12 · 2019-08-25 11:56:41

306

Views

How to reduce these equations with beta reduction - lambda calculus

Published on 25 Aug 2019 - 11:56

score 85 · Answer 13 · 2019-08-31 04:40:02

85

Views

How do I simplify these lambda calculus equations?

Published on 31 Aug 2019 - 4:40

score 195 · Answer 14 · 2019-09-03 06:59:13

195

Views

Lambda calculus substitution rule explanation

Published on 03 Sep 2019 - 6:59

score 711 · Answer 15 · 2019-09-05 13:56:00

711

Views

Is this Church encoding of lists correct?

Published on 05 Sep 2019 - 13:56

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