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 102 · Answer 2 · 2026-03-19 23:04:57

102

Views

How to define halting status in combinatory logic

Published on 19 Mar 2026 - 23:04

score 48 · Answer 3 · 2026-03-19 23:07:24

48

Views

Could we define an arity of a term in combinatory logic and consider some inference rule?

Published on 19 Mar 2026 - 23:07

score 224 · Answer 4 · 2026-03-19 23:03:56

224

Views

Hindley and Seldin "Introduction to Combinators and Lambda calculus": Question about the solution to exercise 3.5.

Published on 19 Mar 2026 - 23:03

score 69 · Answer 5 · 2026-03-19 23:02:10

69

Views

number of surjective functions from X to Y where card(Y)=k < n =card(X)

Published on 19 Mar 2026 - 23:02

score 215 · Answer 6 · 2026-03-19 23:03:15

215

Views

Relationship between the semantics of simply typed lambda calculus and combinatory logic

Published on 19 Mar 2026 - 23:03

score 90 · Answer 7 · 2026-03-19 23:04:29

90

Views

An equation involving multisets

Published on 19 Mar 2026 - 23:04

score 169 · Answer 8 · 2026-03-20 04:28:47

169

Views

Chaitin's constant for lambda calculus and combinatory logic

Published on 20 Mar 2026 - 4:28

score 427 · Answer 9 · 2026-03-19 23:40:57

427

Views

Is there a proof of (non)existence of a proper universal combinator?

Published on 19 Mar 2026 - 23:40

score 221 · Answer 10 · 2026-03-23 02:23:33

221

Views

Proof completion: if $Y$ is a closed term in strong nf, then $Yx$ weakly reduces to a strong nf $Z$

Published on 23 Mar 2026 - 2:23

score 213 · Answer 11 · 2026-03-20 04:29:01

213

Views

What is the precise statement of Craig's theorem?

Published on 20 Mar 2026 - 4:29

score 2.3k · Answer 12 · 2026-03-22 17:34:52

2.3k

Views

In what sense is the S-combinator "substitution"?

Published on 22 Mar 2026 - 17:34

score 253 · Answer 13 · 2026-03-21 21:49:51

253

Views

What axioms can be added to $S,K$ combinator algebra without making it collapse into triviality?

Published on 21 Mar 2026 - 21:49

score 612 · Answer 14 · 2026-03-22 10:12:51

612

Views

Equality in the untyped lambda calculus without extensionality

Published on 22 Mar 2026 - 10:12

score 46 · Answer 15 · 2026-03-23 00:53:21

46

Views

Number of unique items in a big set from small sample

Published on 23 Mar 2026 - 0:53

List Question

Relation between Lambda calculus and SKI combinator calculus

How to define halting status in combinatory logic

Could we define an arity of a term in combinatory logic and consider some inference rule?

Hindley and Seldin "Introduction to Combinators and Lambda calculus": Question about the solution to exercise 3.5.

number of surjective functions from X to Y where card(Y)=k < n =card(X)

Relationship between the semantics of simply typed lambda calculus and combinatory logic

An equation involving multisets

Chaitin's constant for lambda calculus and combinatory logic

Is there a proof of (non)existence of a proper universal combinator?

Proof completion: if $Y$ is a closed term in strong nf, then $Yx$ weakly reduces to a strong nf $Z$

What is the precise statement of Craig's theorem?

In what sense is the S-combinator "substitution"?

What axioms can be added to $S,K$ combinator algebra without making it collapse into triviality?

Equality in the untyped lambda calculus without extensionality

Number of unique items in a big set from small sample

Trending Questions

Popular # Hahtags

Popular Questions