New answers tagged

16 votes
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 ...
0 votes

Why use the term "beta equality"?

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 ...

Top 50 recent answers are included