ラムダ・キューブ
項に依存した項(単純型付きラムダ計算)
一階命題論理
(これを以下全てが含む。)