Computer science
計算機科学におけるコンビネータ論理.