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