>>366
関数型はλ計算やコンビネータなどの計算論が基礎だと思うが。