Category:ラムダ計算
ラムダ計算
Lambda calculusカリー化
Currying不動点コンビネータ
Fixed-point combinatorSKIコンビネータ計算
SKI combinator calculusラムダ・キューブ
Lambda cubeド・ブラウン記法
De Bruijn notationド・ブラウン・インデックス
De Bruijn indexド・ブラウン・レベル
住性 (型理論)
Type inhabitationチャーチ・ロッサーの定理
Church–Rosser theoremコンビネータ論理
Combinatory logic高階関数
Higher-order functionラムダ計算騎士団
Knights of the Lambda Calculus型付きラムダ計算
Typed lambda calculus無名関数
Anonymous function