Question

Lambda Calculus, applicative vs normal order

score 1.6k · Answer 1 · 2020-03-03 05:48:30

1.6k

Views

Lambda Calculus, applicative vs normal order

Published on 03 Mar 2020 - 5:48

score 144 · Answer 2 · 2020-03-16 05:12:58

144

Views

Identifying redexes in a lambda expression

Published on 16 Mar 2020 - 5:12

score 174 · Answer 3 · 2020-03-18 20:44:15

174

Views

Parentheses placement and identifying redexes in a lambda expression

Published on 18 Mar 2020 - 20:44

score 243 · Answer 4 · 2020-04-01 12:47:06

243

Views

What is the subterms of $M\equiv (\lambda x\cdot yx)(\lambda z \cdot x(yx))$?

Published on 01 Apr 2020 - 12:47

score 107 · Answer 5 · 2020-04-01 22:14:07

107

Views

Lambda calculus expression evaluation.

Published on 01 Apr 2020 - 22:14

score 85 · Answer 6 · 2020-04-03 00:22:05

85

Views

I would like to know about examples of type theory applications. For what purpose was type theory invented? Can you give me some motivations?

Published on 03 Apr 2020 - 0:22

score 57 · Answer 7 · 2020-05-04 14:22:22

57

Views

Weak Normalization of Beta-Reduction on typable lambda-terms

Published on 04 May 2020 - 14:22

score 46 · Answer 8 · 2020-05-18 17:15:11

46

Views

Have I written this statement correctly?

Published on 18 May 2020 - 17:15

score 253 · Answer 9 · 2026-03-21 21:49:51

253

Views

What axioms can be added to $S,K$ combinator algebra without making it collapse into triviality?

Published on 21 Mar 2026 - 21:49

score 274 · Answer 10 · 2026-03-25 09:39:58

274

Views

Given an inhabited type in simply-typed lambda calculus (w/no basics, just variables), is there a combinator of that type that is no longer than it?

Published on 25 Mar 2026 - 9:39

score 147 · Answer 11 · 2020-05-25 16:33:22

147

Views

Ideas regarding lambda calculus

Published on 25 May 2020 - 16:33

score 216 · Answer 12 · 2020-06-08 21:26:00

In Lambda calculus, are there two terms said A, B which are typeable but when they combine, they become not typeable?

score 265 · Answer 13 · 2020-06-13 06:23:09

265

Views

Lambda Calculus: What does $\lambda x.(\lambda xy.xy)(xx)$ or $\lambda x.\lambda y(xx)y$ mean?

Published on 13 Jun 2020 - 6:23

score 32 · Answer 14 · 2020-06-15 06:52:14

32

Views

Lambda Calculus: What is the difference between a $\lambda$ term with and w/o parenthesis?

Published on 15 Jun 2020 - 6:52

score 60 · Answer 15 · 2026-03-26 07:37:39

60

Views

Context and Variable Declaration

Published on 26 Mar 2026 - 7:37

List Question

Lambda Calculus, applicative vs normal order

Identifying redexes in a lambda expression

Parentheses placement and identifying redexes in a lambda expression

What is the subterms of $M\equiv (\lambda x\cdot yx)(\lambda z \cdot x(yx))$?

Lambda calculus expression evaluation.

I would like to know about examples of type theory applications. For what purpose was type theory invented? Can you give me some motivations?

Weak Normalization of Beta-Reduction on typable lambda-terms

Have I written this statement correctly?

What axioms can be added to $S,K$ combinator algebra without making it collapse into triviality?

Given an inhabited type in simply-typed lambda calculus (w/no basics, just variables), is there a combinator of that type that is no longer than it?

Ideas regarding lambda calculus

In Lambda calculus, are there two terms said A, B which are typeable but when they combine, they become not typeable?

Lambda Calculus: What does $\lambda x.(\lambda xy.xy)(xx)$ or $\lambda x.\lambda y(xx)y$ mean?

Lambda Calculus: What is the difference between a $\lambda$ term with and w/o parenthesis?

Context and Variable Declaration

Trending Questions

Popular # Hahtags

Popular Questions