Question

Lambda Calculus, applicative vs normal order

score 1.6k · Answer 1 · 2026-04-14 05:37:08

1.6k

Views

Lambda Calculus, applicative vs normal order

Published on 14 Apr 2026 - 5:37

score 147 · Answer 2 · 2026-04-10 19:56:17

147

Views

Identifying redexes in a lambda expression

Published on 10 Apr 2026 - 19:56

score 177 · Answer 3 · 2026-04-12 11:29:44

177

Views

Parentheses placement and identifying redexes in a lambda expression

Published on 12 Apr 2026 - 11:29

score 244 · Answer 4 · 2026-03-26 21:12:36

244

Views

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

Published on 26 Mar 2026 - 21:12

score 110 · Answer 5 · 2026-04-09 17:08:49

110

Views

Lambda calculus expression evaluation.

Published on 09 Apr 2026 - 17:08

score 86 · Answer 6 · 2026-03-26 21:14:01

86

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 26 Mar 2026 - 21:14

score 60 · Answer 7 · 2026-04-13 11:53:56

60

Views

Weak Normalization of Beta-Reduction on typable lambda-terms

Published on 13 Apr 2026 - 11:53

score 47 · Answer 8 · 2026-03-26 21:07:23

47

Views

Have I written this statement correctly?

Published on 26 Mar 2026 - 21:07

score 263 · Answer 9 · 2026-05-10 15:02:14

263

Views

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

Published on 10 May 2026 - 15:02

score 275 · Answer 10 · 2026-05-11 01:29:11

275

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 11 May 2026 - 1:29

score 150 · Answer 11 · 2026-04-15 13:01:26

150

Views

Ideas regarding lambda calculus

Published on 15 Apr 2026 - 13:01

score 219 · Answer 12 · 2026-04-11 20:21:54

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

score 267 · Answer 13 · 2026-04-16 01:34:32

267

Views

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

Published on 16 Apr 2026 - 1:34

score 35 · Answer 14 · 2026-04-11 08:46:34

35

Views

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

Published on 11 Apr 2026 - 8:46

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