Question

Proving terms using induction in LC

score 244 · Answer 1 · 2021-08-15 20:15:55

244

Views

Proving terms using induction in LC

Published on 15 Aug 2021 - 20:15

score 1k · Answer 2 · 2021-08-22 21:12:54

1k

Views

Where and how lambda calculus is used?

Published on 22 Aug 2021 - 21:12

score 489 · Answer 3 · 2021-08-26 17:00:09

489

Views

How exactly is lambda calculus the foundation for functional programming languages?

Published on 26 Aug 2021 - 17:00

score 115 · Answer 4 · 2021-08-27 02:51:40

115

Views

Is there a set-based semantics for the untyped lambda calculus?

Published on 27 Aug 2021 - 2:51

score 163 · Answer 5 · 2021-09-27 18:04:10

163

Views

Sequencing function applications in beta reduction

Published on 27 Sep 2021 - 18:04

score 470 · Answer 6 · 2021-10-02 00:43:53

470

Views

Structure of proof by induction in lambda calculus

Published on 02 Oct 2021 - 0:43

score 64 · Answer 7 · 2021-10-02 08:25:59

64

Views

Untyped λ-calculus: proof that for any binary relation $R \vDash \lozenge \Rightarrow R^* \vDash \lozenge$

Published on 02 Oct 2021 - 8:25

score 107 · Answer 8 · 2021-10-10 03:51:21

107

Views

Minimum number of distinct variables needed for lambda calculus to be Turing-complete?

Published on 10 Oct 2021 - 3:51

score 311 · Answer 9 · 2026-03-26 20:38:49

311

Views

How to read/verbalize lambda expressions? What is `(λx.λy).M`?

Published on 26 Mar 2026 - 20:38

score 30 · Answer 10 · 2021-10-23 03:37:34

λ-calculus: When is it possible to split a term into two or more expressions, so that each can be used in separate β-reductions?

score 212 · Answer 11 · 2021-11-11 15:38:08

212

Views

In lambda calculus, the λ symbol is followed by a variable. Can that variable be a lambda expression?

Published on 11 Nov 2021 - 15:38

score 531 · Answer 12 · 2021-11-11 18:30:16

531

Views

Trying to understand lambda calculus substitution rules w.r.t. to free and bound variables?

Published on 11 Nov 2021 - 18:30

score 35 · Answer 13 · 2026-03-27 20:31:24

35

Views

Y Combinator proper parenthesization and question about the order/precedence of

Published on 27 Mar 2026 - 20:31

score 110 · Answer 14 · 2021-11-12 04:00:43

110

Views

SKI combinator calculus of `2 = λf.λx.f(f x)`

Published on 12 Nov 2021 - 4:00

score 884 · Answer 15 · 2021-11-12 16:17:02

Rules for converting lambda calculus expressions to SKI combinator calculus expression? Which rule(s) is/are incorrect?

List Question

Proving terms using induction in LC

Where and how lambda calculus is used?

How exactly is lambda calculus the foundation for functional programming languages?

Is there a set-based semantics for the untyped lambda calculus?

Sequencing function applications in beta reduction

Structure of proof by induction in lambda calculus

Untyped λ-calculus: proof that for any binary relation $R \vDash \lozenge \Rightarrow R^* \vDash \lozenge$

Minimum number of distinct variables needed for lambda calculus to be Turing-complete?

How to read/verbalize lambda expressions? What is `(λx.λy).M`?

λ-calculus: When is it possible to split a term into two or more expressions, so that each can be used in separate β-reductions?

In lambda calculus, the λ symbol is followed by a variable. Can that variable be a lambda expression?

Trying to understand lambda calculus substitution rules w.r.t. to free and bound variables?

Y Combinator proper parenthesization and question about the order/precedence of

SKI combinator calculus of `2 = λf.λx.f(f x)`

Rules for converting lambda calculus expressions to SKI combinator calculus expression? Which rule(s) is/are incorrect?

Trending Questions

Popular # Hahtags

Popular Questions