# Tag Info

Accepted

### Strictness in both arguments but not in each individually

That's a very good question! It turns out the answer is both yes and no. A classic example of a function we'd like to write is Plotkin's parallel or. We know from basic boolean logic that both ...
1 vote

### Are lambda calculus forms with different variable names the same?

You are right and your someone is wrong. Lambda terms that only differ in the names of bound variables are beta equivalent, and considered the same program. If the lambda calculus can't see the ...
It seems you are mixing up beta reducibility and beta equality. Beta contraction (here: from $P_1$ to $P_2$) is a single redex collapsing step: P1 > P2 ...