Question

Understand free and bound variable associations in Lambda Calculus

score 956 · Answer 1 · 2015-12-04 01:36:59

956

Views

Understand free and bound variable associations in Lambda Calculus

Published on 04 Dec 2015 - 1:36

score 67 · Answer 2 · 2026-03-21 06:53:02

67

Views

Examples of Partial Combinatory Algebras with surjective pairing?

Published on 21 Mar 2026 - 6:53

score 528 · Answer 3 · 2026-03-23 00:29:02

528

Views

How to prove Y Y = Y (Y(Y))

Published on 23 Mar 2026 - 0:29

score 479 · Answer 4 · 2026-03-07 00:49:21

479

Views

How to define $f(x) = 2x$ as a recursive and lamba function?

Published on 07 Mar 2026 - 0:49

score 1k · Answer 5 · 2026-03-21 21:51:13

1k

Views

Wikipedia's explanation of the lambda-calclulus form of Curry's paradox makes no sense

Published on 21 Mar 2026 - 21:51

score 87 · Answer 6 · 2016-01-09 09:29:29

87

Views

Substitution of variable with term including unbound but used variable - refactor?

Published on 09 Jan 2016 - 9:29

score 2k · Answer 7 · 2016-02-10 19:56:54

2k

Views

Lambda Calculus Proof: or false (not true) Evaluates to False, using lazy evaluation, Help!

Published on 10 Feb 2016 - 19:56

score 286 · Answer 8 · 2016-02-12 23:52:18

286

Views

Distinguishing pure, closed lambda terms

Published on 12 Feb 2016 - 23:52

score 80 · Answer 9 · 2016-02-16 12:44:57

80

Views

How to define numbers in a way that a number 'n' is equivalent to the function plus 'n'?

Published on 16 Feb 2016 - 12:44

score 2k · Answer 10 · 2026-03-26 05:38:03

2k

Views

Relation between Cartesian closed category and Lambda Calculus

Published on 26 Mar 2026 - 5:38

score 56 · Answer 11 · 2016-03-24 13:44:26

56

Views

Trouble solving lambda calculus example

Published on 24 Mar 2016 - 13:44

score 174 · Answer 12 · 2016-03-28 17:03:44

174

Views

Injections between distinct models of the simply typed lambda calculus

Published on 28 Mar 2016 - 17:03

score 1.1k · Answer 13 · 2016-04-22 06:03:58

1.1k

Views

I did not understand one thing in the proof of substitution lemma?

Published on 22 Apr 2016 - 6:03

score 134 · Answer 14 · 2026-03-25 17:36:06

134

Views

What is the root of first class object in programming languages?

Published on 25 Mar 2026 - 17:36

score 624 · Answer 15 · 2016-05-01 18:08:25

624

Views

Graph of a higher-order function

Published on 01 May 2016 - 18:08

List Question

Understand free and bound variable associations in Lambda Calculus

Examples of Partial Combinatory Algebras with surjective pairing?

How to prove Y Y = Y (Y(Y))

How to define $f(x) = 2x$ as a recursive and lamba function?

Wikipedia's explanation of the lambda-calclulus form of Curry's paradox makes no sense

Substitution of variable with term including unbound but used variable - refactor?

Lambda Calculus Proof: or false (not true) Evaluates to False, using lazy evaluation, Help!

Distinguishing pure, closed lambda terms

How to define numbers in a way that a number 'n' is equivalent to the function plus 'n'?

Relation between Cartesian closed category and Lambda Calculus

Trouble solving lambda calculus example

Injections between distinct models of the simply typed lambda calculus

I did not understand one thing in the proof of substitution lemma?

What is the root of first class object in programming languages?

Graph of a higher-order function

Trending Questions

Popular # Hahtags

Popular Questions