Lambda calculus
高階の依存型付き多相ラムダ計算.