List questions from lambda-calculus

Published on 03 Jul 2018 - 7:35

130

Views

In Homotopy Type Theory, where does the lambda expression reside?

Published on 18 Mar 2026 - 3:12

159

Views

Why does Turing-computing (being an inconsistent formalism) has undecidable problems?

Published on 25 Mar 2026 - 2:57

102

Views

In rewiring systems do definitions creates new rewrite laws or an alias? And is this a meaningful question?

Published on 25 Mar 2026 - 3:07

889

Views

what are the 5 simplest lambda calculus expresions

Published on 05 Sep 2018 - 5:01

83

Views

$(M B) (M B)$ canonical form

Published on 08 Sep 2018 - 4:07

97

Views

How to find a simple function in Lambda Calculus?

Published on 12 Sep 2018 - 17:02

375

Views

Reducing Lambda to Normal Form

Published on 19 Sep 2018 - 23:52

173

Views

(x. (y. y)) (a. (b.a)) beta reduction

Published on 21 Sep 2018 - 17:05

191

Views

The continuation passing style transformation in the lambda calculus

Published on 04 Oct 2018 - 21:24

468

Views

Beta reduction for expression

Published on 05 Nov 2018 - 11:54

185

Views

How many possible Beta-reductions considering order of the expression $(\lambda x.\lambda y.y)(\lambda x.x) ((\lambda x.x) (\lambda y.y))$

Published on 10 Nov 2018 - 23:01

175

Views

Evaluate this alpha substitution $[(zx)/x] \, \lambda z.xyz$

Published on 11 Nov 2018 - 2:20

66

Views

beta reduction: order of substitution

Published on 20 Nov 2018 - 1:22

166

Views

Help understand beta reduction example

Published on 24 Nov 2018 - 21:29

List Question

What is the meaning of this Church numeral example?

In Homotopy Type Theory, where does the lambda expression reside?

Why does Turing-computing (being an inconsistent formalism) has undecidable problems?

In rewiring systems do definitions creates new rewrite laws or an alias? And is this a meaningful question?

what are the 5 simplest lambda calculus expresions

$(M B) (M B)$ canonical form

How to find a simple function in Lambda Calculus?

Reducing Lambda to Normal Form

(x. (y. y)) (a. (b.a)) beta reduction

The continuation passing style transformation in the lambda calculus

Beta reduction for expression

How many possible Beta-reductions considering order of the expression $(\lambda x.\lambda y.y)(\lambda x.x) ((\lambda x.x) (\lambda y.y))$

Evaluate this alpha substitution $[(zx)/x] \, \lambda z.xyz$

beta reduction: order of substitution

Help understand beta reduction example

Trending Questions

Popular # Hahtags

Popular Questions