Question

What's the definition of equational theory? Why is λ logic free?

score 1.5k · Answer 1 · 2014-05-20 07:04:23

1.5k

Views

What's the definition of equational theory? Why is λ logic free?

Published on 20 May 2014 - 7:04

score 169 · Answer 2 · 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 4.5k · Answer 3 · 2014-06-01 18:51:04

4.5k

Views

Proving that $\Omega = (\lambda x.xx)(\lambda x.xx)$ is not typable in the simply typed lambda calculus

Published on 01 Jun 2014 - 18:51

score 168 · Answer 4 · 2014-06-10 16:09:21

168

Views

Extensional versus intensional theories in mathematics

Published on 10 Jun 2014 - 16:09

score 3.1k · Answer 5 · 2014-06-16 13:00:47

3.1k

Views

Understanding η-conversion (Lambda Calculus)

Published on 16 Jun 2014 - 13:00

score 131 · Answer 6 · 2014-06-22 10:14:23

131

Views

Lambda calculus expression reduction

Published on 22 Jun 2014 - 10:14

score 78 · Answer 7 · 2014-06-22 16:22:36

78

Views

Lambda calculus -reducing expression

Published on 22 Jun 2014 - 16:22

score 247 · Answer 8 · 2014-06-24 10:42:33

247

Views

How to prove that these are the only type inhabitants?

Published on 24 Jun 2014 - 10:42

score 607 · Answer 9 · 2014-07-13 17:24:27

607

Views

Is this proof for the undecidability of $\beta$-normalisation in $\lambda$-calculus valid?

Published on 13 Jul 2014 - 17:24

score 519 · Answer 10 · 2026-03-25 06:07:23

519

Views

What does "calculus" mean?

Published on 25 Mar 2026 - 6:07

score 2.1k · Answer 11 · 2026-03-25 15:58:32

2.1k

Views

Types versus kinds and sorts

Published on 25 Mar 2026 - 15:58

score 2.3k · Answer 12 · 2026-03-25 11:11:46

2.3k

Views

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

Published on 25 Mar 2026 - 11:11

score 239 · Answer 13 · 2014-08-22 08:11:31

239

Views

What is the desirable function identification when setting up arrows in the category of types?

Published on 22 Aug 2014 - 8:11

score 224 · Answer 14 · 2014-08-25 02:23:04

224

Views

In lambda calculus, can the parameter of abstraction be a non-variable lambda expression?

Published on 25 Aug 2014 - 2:23

score 361 · Answer 15 · 2014-09-13 11:07:47

361

Views

In lambda calculus, why do we define $n=\lambda f.\lambda x.f^n(x)$ instead of $n=\lambda f.f^n$?

Published on 13 Sep 2014 - 11:07

List Question

What's the definition of equational theory? Why is λ logic free?

Chaitin's constant for lambda calculus and combinatory logic

Proving that $\Omega = (\lambda x.xx)(\lambda x.xx)$ is not typable in the simply typed lambda calculus

Extensional versus intensional theories in mathematics

Understanding η-conversion (Lambda Calculus)

Lambda calculus expression reduction

Lambda calculus -reducing expression

How to prove that these are the only type inhabitants?

Is this proof for the undecidability of $\beta$-normalisation in $\lambda$-calculus valid?

What does "calculus" mean?

Types versus kinds and sorts

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

What is the desirable function identification when setting up arrows in the category of types?

In lambda calculus, can the parameter of abstraction be a non-variable lambda expression?

In lambda calculus, why do we define $n=\lambda f.\lambda x.f^n(x)$ instead of $n=\lambda f.f^n$?

Trending Questions

Popular # Hahtags

Popular Questions