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