I am well aware of the foundations of CS and the lambda calculus, but this is more than a bit reductionist, like saying "everything is made of subatomic particles."
Patents on processes and methods are pretty common. Dismissing it as "they just patented some math" and then falling back to saying "oh, lambda calculus" -- I think you can do better :-)
But, yes, I'm sure the patents suck.