Question

Exercise: Is $(\lambda x. (x\,x))\; y \neq_{\beta} (\lambda x (\lambda y. (y\;x)))\; x\;x $ true?

score 70 · Answer 1 · 2017-07-30 22:38:17

70

Views

Exercise: Is $(\lambda x. (x\,x))\; y \neq_{\beta} (\lambda x (\lambda y. (y\;x)))\; x\;x $ true?

Published on 30 Jul 2017 - 22:38

score 203 · Answer 2 · 2017-08-01 21:13:03

203

Views

Are common lambda calculus notation conventions sloppy?

Published on 01 Aug 2017 - 21:13

score 97 · Answer 3 · 2017-08-02 12:22:11

97

Views

DOT calculus evaluation rules

Published on 02 Aug 2017 - 12:22

score 94 · Answer 4 · 2017-08-07 21:40:40

94

Views

Reading Simply Typed lambda-calculus's PAT-Interpretation of 'sends proof to proof'

Published on 07 Aug 2017 - 21:40

score 67 · Answer 5 · 2017-08-08 03:13:05

67

Views

Can we abstract over kinds in $\lambda\underline{\omega}$?

Published on 08 Aug 2017 - 3:13

score 215 · Answer 6 · 2017-08-09 21:32:20

215

Views

By this definition, can a lambda term be of 'infinite length'?

Published on 09 Aug 2017 - 21:32

score 483 · Answer 7 · 2026-03-26 09:40:16

483

Views

The place of lambda abstraction in internal and Mitchell-Bénabou languages

Published on 26 Mar 2026 - 9:40

score 163 · Answer 8 · 2026-03-27 06:06:43

163

Views

Formal rules for the summation convention? (Lambda Calculus $\alpha$-equivalence?)

Published on 27 Mar 2026 - 6:06

score 259 · Answer 9 · 2017-08-21 21:26:02

259

Views

how to represent free variables within lambda-calculus expression

Published on 21 Aug 2017 - 21:26

score 125 · Answer 10 · 2017-08-23 01:18:51

125

Views

lambda-calculus proof of the identity substitution

Published on 23 Aug 2017 - 1:18

score 245 · Answer 11 · 2017-08-27 23:55:18

245

Views

is a lambda-term alpha-equivalent to its beta-reduction?

Published on 27 Aug 2017 - 23:55

score 488 · Answer 12 · 2017-08-29 04:40:33

488

Views

is M in beta-normal form?

Published on 29 Aug 2017 - 4:40

score 925 · Answer 13 · 2017-09-08 13:28:05

925

Views

Lambda calculus; lazy evaluation and normal evaluation

Published on 08 Sep 2017 - 13:28

score 389 · Answer 14 · 2017-09-09 17:09:49

389

Views

Reduce lambda term to normal form

Published on 09 Sep 2017 - 17:09

score 256 · Answer 15 · 2017-09-18 03:15:39

256

Views

Why is beta-reduction called beta-reduction?

Published on 18 Sep 2017 - 3:15

List Question

Exercise: Is $(\lambda x. (x\,x))\; y \neq_{\beta} (\lambda x (\lambda y. (y\;x)))\; x\;x $ true?

Are common lambda calculus notation conventions sloppy?

DOT calculus evaluation rules

Reading Simply Typed lambda-calculus's PAT-Interpretation of 'sends proof to proof'

Can we abstract over kinds in $\lambda\underline{\omega}$?

By this definition, can a lambda term be of 'infinite length'?

The place of lambda abstraction in internal and Mitchell-Bénabou languages

Formal rules for the summation convention? (Lambda Calculus $\alpha$-equivalence?)

how to represent free variables within lambda-calculus expression

lambda-calculus proof of the identity substitution

is a lambda-term alpha-equivalent to its beta-reduction?

is M in beta-normal form?

Lambda calculus; lazy evaluation and normal evaluation

Reduce lambda term to normal form

Why is beta-reduction called beta-reduction?

Trending Questions

Popular # Hahtags

Popular Questions