Lambda微积分中的逗号作为运算符？

Question

我正在学习Lambda Calculus（自学成才）。我对运营商（或缺乏运营商）及其运作方式有了相当基本的了解。在我的书中，我最近遇到过 λx，y。 x + y

这是我第一次看到逗号，而我的书中没有涵盖Lambda微积分中的逗号。我想知道这是一个错字还是我错过了什么。我搜索过谷歌，但我空手而归。