Question

What is the shortest function of lambda calculus that generates all functions of lambda calculus?

score 1k · Answer 1 · 2012-06-03 07:05:18

1k

Views

What is the shortest function of lambda calculus that generates all functions of lambda calculus?

Published on 03 Jun 2012 - 7:05

score 1.3k · Answer 2 · 2012-06-06 15:02:39

1.3k

Views

If $f(x)=g(x)$ for all $x:A$, why is it not true that $\lambda x{.}f(x)=\lambda x{.}g(x)$?

Published on 06 Jun 2012 - 15:02

score 168 · Answer 3 · 2012-06-14 20:04:02

168

Views

What binary operation lambda quantifier corresponds to?

Published on 14 Jun 2012 - 20:04

score 458 · Answer 4 · 2012-06-15 19:02:34

458

Views

Proving combinator identity KMN=M

Published on 15 Jun 2012 - 19:02

score 686 · Answer 5 · 2012-10-20 18:12:02

686

Views

How come Lambda Calculus is a calculus?

Published on 20 Oct 2012 - 18:12

score 1.6k · Answer 6 · 2012-11-09 17:13:41

1.6k

Views

Krivine Machine

Published on 09 Nov 2012 - 17:13

score 720 · Answer 7 · 2012-12-12 05:16:53

720

Views

Evaluate expressions in lambda calculus

Published on 12 Dec 2012 - 5:16

score 107 · Answer 8 · 2012-12-24 19:28:12

107

Views

What are the differences between these two Lambda expressions?

Published on 24 Dec 2012 - 19:28

score 4.5k · Answer 9 · 2013-01-09 04:53:33

4.5k

Views

Substitution in lambda calculus

Published on 09 Jan 2013 - 4:53

score 259 · Answer 10 · 2013-01-12 17:22:28

259

Views

Cartesian closed categories with double negation elimination

Published on 12 Jan 2013 - 17:22

score 485 · Answer 11 · 2013-01-24 16:14:15

485

Views

$\lambda$-calculus: structural induction principle over $\Lambda$

Published on 24 Jan 2013 - 16:14

score 280 · Answer 12 · 2013-01-25 12:50:47

280

Views

Currying and Uncurrying of logical formulas, is $(A \land B) \to C \leftrightarrow (A\to B)\to C$

Published on 25 Jan 2013 - 12:50

score 177 · Answer 13 · 2013-01-31 22:31:08

177

Views

Recursive functions, successor function

Published on 31 Jan 2013 - 22:31

score 621 · Answer 14 · 2013-01-31 22:39:10

621

Views

Evaluating lambda expression

Published on 31 Jan 2013 - 22:39

score 353 · Answer 15 · 2013-02-03 16:17:35

353

Views

Recursive relation using successor function

Published on 03 Feb 2013 - 16:17

List Question

What is the shortest function of lambda calculus that generates all functions of lambda calculus?

If $f(x)=g(x)$ for all $x:A$, why is it not true that $\lambda x{.}f(x)=\lambda x{.}g(x)$?

What binary operation lambda quantifier corresponds to?

Proving combinator identity KMN=M

How come Lambda Calculus is a calculus?

Krivine Machine

Evaluate expressions in lambda calculus

What are the differences between these two Lambda expressions?

Substitution in lambda calculus

Cartesian closed categories with double negation elimination

$\lambda$-calculus: structural induction principle over $\Lambda$

Currying and Uncurrying of logical formulas, is $(A \land B) \to C \leftrightarrow (A\to B)\to C$

Recursive functions, successor function

Evaluating lambda expression

Recursive relation using successor function

Trending Questions

Popular # Hahtags

Popular Questions