Question

Lambda Calculus and Abstract Reduction systems

score 27 · Answer 1 · 2019-10-15 03:27:00

27

Views

Lambda Calculus and Abstract Reduction systems

Published on 15 Oct 2019 - 3:27

score 107 · Answer 2 · 2026-03-22 02:40:13

107

Views

How do we know whether all elements of $[A\to B]$ can be represented as computable functions?

Published on 22 Mar 2026 - 2:40

score 577 · Answer 3 · 2019-10-21 13:55:23

577

Views

"Recursive types for free!" -- But doesn't this contradict the fact that $\mathbb{N} \notin \mathbf{FinSet}$?

Published on 21 Oct 2019 - 13:55

score 30 · Answer 4 · 2019-11-02 00:26:01

30

Views

Calculi of Lambda Conv: Question on Abstraction

Published on 02 Nov 2019 - 0:26

score 231 · Answer 5 · 2026-03-25 07:38:20

231

Views

Terms in the lambda calculus

Published on 25 Mar 2026 - 7:38

score 59 · Answer 6 · 2019-12-04 20:37:04

59

Views

Question About the Substitution of $N$ for $x$ in a $\lambda$-term, as Defined in "Lectures on the Curry-Howard Isomorphism" (1998)

Published on 04 Dec 2019 - 20:37

score 121 · Answer 7 · 2019-12-06 17:58:19

121

Views

Question About Part of the Proof of a Lemma to the Church-Rosser Theorem in "Lectures on the Curry-Howard Isomorphism"(1998)

Published on 06 Dec 2019 - 17:58

score 45 · Answer 8 · 2019-12-10 22:13:46

45

Views

lambda calculus type assigned problem

Published on 10 Dec 2019 - 22:13

score 189 · Answer 9 · 2019-12-13 17:46:06

189

Views

what are the cases that we can say that the lambda term is not typable?

Published on 13 Dec 2019 - 17:46

score 65 · Answer 10 · 2019-12-24 10:47:54

65

Views

What's the Meaning of the Notation $ \langle \mathbf{\cdot} , \mathbf{\cdot} \rangle$ in $\lambda$-Calculus?

Published on 24 Dec 2019 - 10:47

score 299 · Answer 11 · 2026-02-23 15:09:43

299

Views

A Question About the Order of Learning from the Book "Lectures on the Curry-Howard Isomorphism" (1998)

Published on 23 Feb 2026 - 15:09

score 98 · Answer 12 · 2020-01-26 12:27:47

98

Views

Beta-Reduction exercise with pairs in Lambda Calculus

Published on 26 Jan 2020 - 12:27

score 271 · Answer 13 · 2026-03-25 11:02:29

271

Views

Is there generalization of the natural numbers?

Published on 25 Mar 2026 - 11:02

score 62 · Answer 14 · 2020-02-02 21:13:54

62

Views

Automated discovery of interesting theorems by searching motifs in words (e.g. Coq lambda calculus) - grammatical notion of reverse mathematics?

Published on 02 Feb 2020 - 21:13

score 80 · Answer 15 · 2026-03-25 14:19:31

80

Views

(Functional) space of all lambda types (algorithms)?

Published on 25 Mar 2026 - 14:19

List Question

Lambda Calculus and Abstract Reduction systems

How do we know whether all elements of $[A\to B]$ can be represented as computable functions?

"Recursive types for free!" -- But doesn't this contradict the fact that $\mathbb{N} \notin \mathbf{FinSet}$?

Calculi of Lambda Conv: Question on Abstraction

Terms in the lambda calculus

Question About the Substitution of $N$ for $x$ in a $\lambda$-term, as Defined in "Lectures on the Curry-Howard Isomorphism" (1998)

Question About Part of the Proof of a Lemma to the Church-Rosser Theorem in "Lectures on the Curry-Howard Isomorphism"(1998)

lambda calculus type assigned problem

what are the cases that we can say that the lambda term is not typable?

What's the Meaning of the Notation $ \langle \mathbf{\cdot} , \mathbf{\cdot} \rangle$ in $\lambda$-Calculus?

A Question About the Order of Learning from the Book "Lectures on the Curry-Howard Isomorphism" (1998)

Beta-Reduction exercise with pairs in Lambda Calculus

Is there generalization of the natural numbers?

Automated discovery of interesting theorems by searching motifs in words (e.g. Coq lambda calculus) - grammatical notion of reverse mathematics?

(Functional) space of all lambda types (algorithms)?

Trending Questions

Popular # Hahtags

Popular Questions