Question

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

score 343 · Answer 1 · 2026-04-29 12:44:23

343

Views

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

Published on 29 Apr 2026 - 12:44

score 167 · Answer 2 · 2026-04-29 12:18:09

167

Views

'Logically symmetric' expressions in lambda calculus

Published on 29 Apr 2026 - 12:18

score 896 · Answer 3 · 2026-04-29 12:44:06

896

Views

Who introduced the Kite to Smullyan's combinator birds?

Published on 29 Apr 2026 - 12:44

score 136 · Answer 4 · 2026-04-20 14:54:19

136

Views

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

Published on 20 Apr 2026 - 14:54

score 102 · Answer 5 · 2026-04-20 12:13:34

102

Views

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

Published on 20 Apr 2026 - 12:13

score 401 · Answer 6 · 2026-04-29 12:44:21

401

Views

Encoding of booleans in lambda calculus

Published on 29 Apr 2026 - 12:44

score 950 · Answer 7 · 2026-04-24 00:05:09

950

Views

parentheses in free and bound variable in lambda calculus

Published on 24 Apr 2026 - 0:05

score 2.4k · Answer 8 · 2026-04-29 02:22:38

2.4k

Views

Define lambda calculus encoding for boolean implication (⇒)

Published on 29 Apr 2026 - 2:22

score 1.9k · Answer 9 · 2026-05-10 12:11:09

1.9k

Views

Beta reduction in Lambda-Calculus

Published on 10 May 2026 - 12:11

score 1.5k · Answer 10 · 2026-04-29 12:44:14

1.5k

Views

Normative vs applicative order in reduction in the Lambda Calculus

Published on 29 Apr 2026 - 12:44

score 394 · Answer 11 · 2026-04-22 23:36:25

394

Views

The definition of the factorial using continuations in the Lambda calculus

Published on 22 Apr 2026 - 23:36

score 779 · Answer 12 · 2026-04-21 07:55:54

779

Views

Continuation-passing style and the lambda calculus

Published on 21 Apr 2026 - 7:55

score 100 · Answer 13 · 2026-05-07 19:49:44

100

Views

Some simple operators in the Lambda calculus and their interpretation

Published on 07 May 2026 - 19:49

score 323 · Answer 14 · 2026-05-04 22:50:13

323

Views

A few questions about continuations and the continuation monad

Published on 04 May 2026 - 22:50

score 223 · Answer 15 · 2026-05-10 12:29:01

223

Views

Problem with a basic lemma in Lambda Calculus

Published on 10 May 2026 - 12:29

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