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