Question

Why is $\lambda x.\lambda y. x y$ $\alpha$-equivalent to $\lambda x. \lambda y. yx$?

score 337 · Answer 1 · 2026-03-25 14:19:40

337

Views

Why is $\lambda x.\lambda y. x y$ $\alpha$-equivalent to $\lambda x. \lambda y. yx$?

Published on 25 Mar 2026 - 14:19

score 33 · Answer 2 · 2026-03-26 01:09:40

33

Views

How to find the shortest compact representation of circular buffer (vector).

Published on 26 Mar 2026 - 1:09

score 214 · Answer 3 · 2026-03-25 17:37:49

214

Views

What kind of math problems can be solved by Automated theorem provers?

Published on 25 Mar 2026 - 17:37

score 59 · Answer 4 · 2026-03-24 22:12:47

59

Views

How can I write the following propositional logic in symbol format?

Published on 24 Mar 2026 - 22:12

score 307 · Answer 5 · 2018-04-17 17:48:25

307

Views

Drawing a complete binary tree from postorder

Published on 17 Apr 2018 - 17:48

score 476 · Answer 6 · 2026-03-26 07:30:59

476

Views

CheckMyProof: Proofs involving Big-O Notation

Published on 26 Mar 2026 - 7:30

score 655 · Answer 7 · 2026-03-25 08:01:35

655

Views

$\phi$ is a $m$-clause CNF formula. Prove that if $m< 8$, then there is at least 1 satisfying assignment for $\phi$.

Published on 25 Mar 2026 - 8:01

score 392 · Answer 8 · 2026-03-24 23:44:54

392

Views

If RE languages are closed under intersection, why aren't CFLs?

Published on 24 Mar 2026 - 23:44

score 341 · Answer 9 · 2018-04-19 18:38:36

341

Views

What is discrete mathematics based on?

Published on 19 Apr 2018 - 18:38

score 805 · Answer 10 · 2018-04-19 22:30:30

805

Views

How to figure out if a function is Big O, Big Ω, or Big θ of x?

Published on 19 Apr 2018 - 22:30

score 180 · Answer 11 · 2026-03-25 10:55:37

180

Views

Difference between anti-symmetry and transitivity in the image

Published on 25 Mar 2026 - 10:55

score 78 · Answer 12 · 2026-03-25 07:43:52

78

Views

How to show that the Condition is Diophantine

Published on 25 Mar 2026 - 7:43

score 41 · Answer 13 · 2018-04-26 09:14:40

41

Views

Suppose that any broker trading in both financial assets A and B is a money launderer operating from country C.

Published on 26 Apr 2018 - 9:14

score 85 · Answer 14 · 2026-03-25 03:02:57

85

Views

How to find the x0 and x1 after matrix move,rotate and scale

Published on 25 Mar 2026 - 3:02

score 312 · Answer 15 · 2026-03-16 22:30:25

312

Views

Application of Rice's Theorem

Published on 16 Mar 2026 - 22:30

List Question

Why is $\lambda x.\lambda y. x y$ $\alpha$-equivalent to $\lambda x. \lambda y. yx$?

How to find the shortest compact representation of circular buffer (vector).

What kind of math problems can be solved by Automated theorem provers?

How can I write the following propositional logic in symbol format?

Drawing a complete binary tree from postorder

CheckMyProof: Proofs involving Big-O Notation

$\phi$ is a $m$-clause CNF formula. Prove that if $m< 8$, then there is at least 1 satisfying assignment for $\phi$.

If RE languages are closed under intersection, why aren't CFLs?

What is discrete mathematics based on?

How to figure out if a function is Big O, Big Ω, or Big θ of x?

Difference between anti-symmetry and transitivity in the image

How to show that the Condition is Diophantine

Suppose that any broker trading in both financial assets A and B is a money launderer operating from country C.

How to find the x0 and x1 after matrix move,rotate and scale

Application of Rice's Theorem

Trending Questions

Popular # Hahtags

Popular Questions