関連ワード:  lambda calculus predecessor function    lambda calculus successor function    what is lambda calculus used for  
結果 : lambda calculus predecessor function