Lambda calculus
範疇文法は，単純型付きラムダ計算といくつかの特徴を共有する．