Similar to ド・ブラウン・インデックス
コンビネータ論理
Combinatory logic
住性 (型理論)
Type inhabitation
チャーチ・ロッサーの定理
Church–Rosser theorem
ド・ブラウン記法
De Bruijn notation
ド・ブラウン・レベル
不動点コンビネータ
Fixed-point combinator
無名関数
Anonymous function
ラムダ・キューブ
Lambda cube
ラムダ計算騎士団
Knights of the Lambda Calculus