Question

Finding a term $s$ such that for all terms $t$, $st$ = $ss$

score 337 · Answer 1 · 2026-03-22 16:11:23

337

Views

Finding a term $s$ such that for all terms $t$, $st$ = $ss$

Published on 22 Mar 2026 - 16:11

score 158 · Answer 2 · 2026-03-24 09:26:52

158

Views

'Logically symmetric' expressions in lambda calculus

Published on 24 Mar 2026 - 9:26

score 891 · Answer 3 · 2026-03-23 03:33:15

891

Views

Who introduced the Kite to Smullyan's combinator birds?

Published on 23 Mar 2026 - 3:33

score 132 · Answer 4 · 2026-03-22 20:56:34

132

Views

Can F be diverging in "forall M FM = F"?

Published on 22 Mar 2026 - 20:56

score 98 · Answer 5 · 2026-03-22 19:42:13

98

Views

First-Order Logic: Simplifying $\exists x. (P(x))\,(\lambda y.see(y,x))$

Published on 22 Mar 2026 - 19:42

score 394 · Answer 6 · 2026-03-22 17:16:33

394

Views

Encoding of booleans in lambda calculus

Published on 22 Mar 2026 - 17:16

score 945 · Answer 7 · 2026-03-23 01:22:22

945

Views

parentheses in free and bound variable in lambda calculus

Published on 23 Mar 2026 - 1:22

score 2.4k · Answer 8 · 2026-03-25 04:15:09

2.4k

Views

Define lambda calculus encoding for boolean implication (⇒)

Published on 25 Mar 2026 - 4:15

score 1.9k · Answer 9 · 2026-03-22 22:32:41

1.9k

Views

Beta reduction in Lambda-Calculus

Published on 22 Mar 2026 - 22:32

score 1.5k · Answer 10 · 2026-03-22 16:07:34

1.5k

Views

Normative vs applicative order in reduction in the Lambda Calculus

Published on 22 Mar 2026 - 16:07

score 388 · Answer 11 · 2026-03-17 18:13:02

388

Views

The definition of the factorial using continuations in the Lambda calculus

Published on 17 Mar 2026 - 18:13

score 773 · Answer 12 · 2026-03-19 23:53:58

773

Views

Continuation-passing style and the lambda calculus

Published on 19 Mar 2026 - 23:53

score 91 · Answer 13 · 2026-03-19 18:51:34

91

Views

Some simple operators in the Lambda calculus and their interpretation

Published on 19 Mar 2026 - 18:51

score 313 · Answer 14 · 2026-03-22 01:10:34

313

Views

A few questions about continuations and the continuation monad

Published on 22 Mar 2026 - 1:10

score 214 · Answer 15 · 2026-03-25 07:46:26

214

Views

Problem with a basic lemma in Lambda Calculus

Published on 25 Mar 2026 - 7:46

List Question

Finding a term $s$ such that for all terms $t$, $st$ = $ss$

'Logically symmetric' expressions in lambda calculus

Who introduced the Kite to Smullyan's combinator birds?

Can F be diverging in "forall M FM = F"?

First-Order Logic: Simplifying $\exists x. (P(x))\,(\lambda y.see(y,x))$

Encoding of booleans in lambda calculus

parentheses in free and bound variable in lambda calculus

Define lambda calculus encoding for boolean implication (⇒)

Beta reduction in Lambda-Calculus

Normative vs applicative order in reduction in the Lambda Calculus

The definition of the factorial using continuations in the Lambda calculus

Continuation-passing style and the lambda calculus

Some simple operators in the Lambda calculus and their interpretation

A few questions about continuations and the continuation monad

Problem with a basic lemma in Lambda Calculus

Trending Questions

Popular # Hahtags

Popular Questions