Question

Relation between Lambda calculus and SKI combinator calculus

score 648 · Answer 1 · 2026-04-25 04:50:03

648

Views

Relation between Lambda calculus and SKI combinator calculus

Published on 25 Apr 2026 - 4:50

score 334 · Answer 2 · 2026-05-04 02:13:58

334

Views

Different true/false definition in lambda calculus

Published on 04 May 2026 - 2:13

score 462 · Answer 3 · 2026-05-10 12:23:43

462

Views

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

Published on 10 May 2026 - 12:23

score 117 · Answer 4 · 2026-04-29 12:26:19

117

Views

Idempotence of iterating a function

Published on 29 Apr 2026 - 12:26

score 824 · Answer 5 · 2026-04-14 13:05:28

824

Views

Why is it called lambda "calculus"?

Published on 14 Apr 2026 - 13:05

score 604 · Answer 6 · 2026-05-05 06:21:06

604

Views

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

Published on 05 May 2026 - 6:21

score 440 · Answer 7 · 2026-04-14 08:31:26

440

Views

Devising Multiplication in Untyped Lambda Calculus

Published on 14 Apr 2026 - 8:31

score 225 · Answer 8 · 2026-04-11 03:12:46

225

Views

Lambda Calculus and naming

Published on 11 Apr 2026 - 3:12

score 612 · Answer 9 · 2026-04-16 15:17:44

612

Views

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

Published on 16 Apr 2026 - 15:17

score 97 · Answer 10 · 2026-04-09 14:08:19

97

Views

Lambda-calculus - Basic Problem with application of Fixedpoint theorem

Published on 09 Apr 2026 - 14:08

score 116 · Answer 11 · 2026-04-11 00:34:14

116

Views

Lambda-Calculus - Alternative proof without fixed point combinator

Published on 11 Apr 2026 - 0:34

score 224 · Answer 12 · 2026-04-11 13:01:55

224

Views

Lambda Calculus - Exercise with fixed point combinator

Published on 11 Apr 2026 - 13:01

score 745 · Answer 13 · 2026-04-12 20:20:26

745

Views

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

Published on 12 Apr 2026 - 20:20

score 1.5k · Answer 14 · 2026-04-12 14:35:23

1.5k

Views

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

Published on 12 Apr 2026 - 14:35

score 157 · Answer 15 · 2026-04-14 13:44:25

157

Views

Variable Condition in Typed Lambda Calculus

Published on 14 Apr 2026 - 13:44

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