Question

lambda calculus: predecessor function

score 1.5k · Answer 1 · 2016-05-11 18:39:53

1.5k

Views

lambda calculus: predecessor function

Published on 11 May 2016 - 18:39

score 352 · Answer 2 · 2016-05-15 23:53:19

352

Views

On the Y-Combinator in Lambda Calculus

Published on 15 May 2016 - 23:53

score 608 · Answer 3 · 2016-05-18 11:11:33

608

Views

Equivalence of Turing Machines and Lambda Calculus

Published on 18 May 2016 - 11:11

score 460 · Answer 4 · 2026-03-09 05:54:30

460

Views

Can all computable numeric functions on church numerals in ski-combinator calculus be expressed using only completely evaluated terms?

Published on 09 Mar 2026 - 5:54

score 61 · Answer 5 · 2016-05-24 19:07:34

61

Views

Problem understandig lambda-calculus incompatible problem.

Published on 24 May 2016 - 19:07

score 217 · Answer 6 · 2016-06-04 16:03:08

217

Views

Construct successor function with combinators with only 2 variables

Published on 04 Jun 2016 - 16:03

score 215 · Answer 7 · 2016-06-21 00:04:59

215

Views

lambda calculus nesting order

Published on 21 Jun 2016 - 0:04

score 201 · Answer 8 · 2016-06-23 11:54:44

201

Views

lambda calculus in some type system

Published on 23 Jun 2016 - 11:54

score 640 · Answer 9 · 2013-04-17 00:03:48

640

Views

Lambda Calculus Expression Evaluation

Published on 17 Apr 2013 - 0:03

score 1.3k · Answer 10 · 2013-04-17 00:38:51

1.3k

Views

Identifying All Redexes in Lambda Expression

Published on 17 Apr 2013 - 0:38

score 146 · Answer 11 · 2013-04-22 05:41:16

146

Views

evaluate the lambda expression call by value

Published on 22 Apr 2013 - 5:41

score 425 · Answer 12 · 2013-05-08 17:50:43

425

Views

How the the Identity in Church Numerals not the 'succ' function (ie. x + 1)

Published on 08 May 2013 - 17:50

score 1.3k · Answer 13 · 2013-05-27 13:28:58

1.3k

Views

Book on lambda calculus logic and type theory

Published on 27 May 2013 - 13:28

score 1k · Answer 14 · 2013-05-30 10:32:59

1k

Views

What is the result of (λx.λy.x + ( λx.x+1) (x+y)) ( λz.z-4 5) 10?

Published on 30 May 2013 - 10:32

score 341 · Answer 15 · 2013-06-08 02:54:06

341

Views

Is there an algorithm to separate lambda calculus terms using Böhm's theorem?

Published on 08 Jun 2013 - 2:54

List Question

lambda calculus: predecessor function

On the Y-Combinator in Lambda Calculus

Equivalence of Turing Machines and Lambda Calculus

Can all computable numeric functions on church numerals in ski-combinator calculus be expressed using only completely evaluated terms?

Problem understandig lambda-calculus incompatible problem.

Construct successor function with combinators with only 2 variables

lambda calculus nesting order

lambda calculus in some type system

Lambda Calculus Expression Evaluation

Identifying All Redexes in Lambda Expression

evaluate the lambda expression call by value

How the the Identity in Church Numerals not the 'succ' function (ie. x + 1)

Book on lambda calculus logic and type theory

What is the result of (λx.λy.x + ( λx.x+1) (x+y)) ( λz.z-4 5) 10?

Is there an algorithm to separate lambda calculus terms using Böhm's theorem?

Trending Questions

Popular # Hahtags

Popular Questions