Question

Relation between Lambda calculus and SKI combinator calculus

score 644 · Answer 1 · 2026-03-19 23:05:08

644

Views

Relation between Lambda calculus and SKI combinator calculus

Published on 19 Mar 2026 - 23:05

score 323 · Answer 2 · 2026-03-23 02:33:54

323

Views

Different true/false definition in lambda calculus

Published on 23 Mar 2026 - 2:33

score 454 · Answer 3 · 2026-03-24 20:30:32

454

Views

Evaluating the lambda expression $(.)(.)(.)$

Published on 24 Mar 2026 - 20:30

score 110 · Answer 4 · 2026-03-25 02:39:01

110

Views

Idempotence of iterating a function

Published on 25 Mar 2026 - 2:39

score 822 · Answer 5 · 2026-03-25 05:48:45

822

Views

Why is it called lambda "calculus"?

Published on 25 Mar 2026 - 5:48

score 598 · Answer 6 · 2026-03-23 06:05:55

598

Views

A confusion about Church's simple theory of types and the Curry-Howard isomorphism

Published on 23 Mar 2026 - 6:05

score 437 · Answer 7 · 2018-03-31 21:45:50

437

Views

Devising Multiplication in Untyped Lambda Calculus

Published on 31 Mar 2018 - 21:45

score 221 · Answer 8 · 2026-03-22 01:14:50

221

Views

Lambda Calculus and naming

Published on 22 Mar 2026 - 1:14

score 610 · Answer 9 · 2018-04-02 20:10:31

610

Views

Lambda calculus, $M$ doesn't have a normal form, $N$ has normal form. Find $M N$ that has a normal form?

Published on 02 Apr 2018 - 20:10

score 94 · Answer 10 · 2018-04-05 09:40:45

94

Views

Lambda-calculus - Basic Problem with application of Fixedpoint theorem

Published on 05 Apr 2018 - 9:40

score 113 · Answer 11 · 2018-04-05 18:00:50

113

Views

Lambda-Calculus - Alternative proof without fixed point combinator

Published on 05 Apr 2018 - 18:00

score 221 · Answer 12 · 2018-04-07 11:41:01

221

Views

Lambda Calculus - Exercise with fixed point combinator

Published on 07 Apr 2018 - 11:41

score 742 · Answer 13 · 2018-04-10 06:19:48

742

Views

Lambda Calculus – Defining (and checking) Predecessor combinator for Church numerals

Published on 10 Apr 2018 - 6:19

score 1.5k · Answer 14 · 2018-04-11 13:10:53

1.5k

Views

Lambda Calculus – Defining lambda term to represent function $f(n) = true$ if $n$ even and $false$ otherwise

Published on 11 Apr 2018 - 13:10

score 155 · Answer 15 · 2026-03-25 02:56:54

155

Views

Variable Condition in Typed Lambda Calculus

Published on 25 Mar 2026 - 2:56

List Question

Relation between Lambda calculus and SKI combinator calculus

Different true/false definition in lambda calculus

Evaluating the lambda expression $(.)(.)(.)$

Idempotence of iterating a function

Why is it called lambda "calculus"?

A confusion about Church's simple theory of types and the Curry-Howard isomorphism

Devising Multiplication in Untyped Lambda Calculus

Lambda Calculus and naming

Lambda calculus, $M$ doesn't have a normal form, $N$ has normal form. Find $M N$ that has a normal form?

Lambda-calculus - Basic Problem with application of Fixedpoint theorem

Lambda-Calculus - Alternative proof without fixed point combinator

Lambda Calculus - Exercise with fixed point combinator

Lambda Calculus – Defining (and checking) Predecessor combinator for Church numerals

Lambda Calculus – Defining lambda term to represent function $f(n) = true$ if $n$ even and $false$ otherwise

Variable Condition in Typed Lambda Calculus

Trending Questions

Popular # Hahtags

Popular Questions