Question

Lambda Calculus and Abstract Reduction systems

score 30 · Answer 1 · 2026-04-10 08:19:57

30

Views

Lambda Calculus and Abstract Reduction systems

Published on 10 Apr 2026 - 8:19

score 114 · Answer 2 · 2026-05-04 13:47:22

114

Views

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

Published on 04 May 2026 - 13:47

score 578 · Answer 3 · 2026-03-26 19:18:52

578

Views

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

Published on 26 Mar 2026 - 19:18

score 33 · Answer 4 · 2026-04-10 05:04:34

33

Views

Calculi of Lambda Conv: Question on Abstraction

Published on 10 Apr 2026 - 5:04

score 234 · Answer 5 · 2026-05-10 16:50:56

234

Views

Terms in the lambda calculus

Published on 10 May 2026 - 16:50

score 62 · Answer 6 · 2026-04-15 03:38:25

62

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 15 Apr 2026 - 3:38

score 124 · Answer 7 · 2026-04-15 05:44:03

124

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 15 Apr 2026 - 5:44

score 48 · Answer 8 · 2026-04-13 10:49:14

48

Views

lambda calculus type assigned problem

Published on 13 Apr 2026 - 10:49

score 191 · Answer 9 · 2026-03-26 21:12:20

191

Views

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

Published on 26 Mar 2026 - 21:12

score 68 · Answer 10 · 2026-04-13 23:36:18

68

Views

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

Published on 13 Apr 2026 - 23:36

score 300 · Answer 11 · 2026-04-11 15:00:21

300

Views

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

Published on 11 Apr 2026 - 15:00

score 101 · Answer 12 · 2026-04-16 00:33:50

101

Views

Beta-Reduction exercise with pairs in Lambda Calculus

Published on 16 Apr 2026 - 0:33

score 273 · Answer 13 · 2026-05-10 19:14:49

273

Views

Is there generalization of the natural numbers?

Published on 10 May 2026 - 19:14

score 64 · Answer 14 · 2026-05-10 13:51:28

64

Views

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

Published on 10 May 2026 - 13:51

score 81 · Answer 15 · 2026-05-10 21:43:48

81

Views

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

Published on 10 May 2026 - 21:43

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