Similar to ド・ブラウン記法
カリー化
Curryingド・ブラウン・インデックス
De Bruijn indexド・ブラウン・レベル
ラムダ計算
Lambda calculusSKIコンビネータ計算
SKI combinator calculus型付きラムダ計算
Typed lambda calculus高階関数
Higher-order functionコンビネータ論理
Combinatory logic住性 (型理論)
Type inhabitationチャーチ・ロッサーの定理
Church–Rosser theorem不動点コンビネータ
Fixed-point combinator無名関数
Anonymous functionラムダ・キューブ
Lambda cubeラムダ計算騎士団
Knights of the Lambda Calculus数学のエポニムの一覧
P進タイヒミュラー理論
P-adic Teichmüller theoryアーネシの曲線
Witch of Agnesiアーベル群
Abelian groupアーベル群の圏
Category of abelian groupsアーベル圏
Abelian categoryアーベル総和法
アーベル多様体
Abelian varietyアーベルの連続性定理
Abel's theoremアーベル方程式
Abel equationアーベル・ヤコビ写像
Abel–Jacobi mapアーベル-ルフィニの定理
Abel–Ruffini theoremアイゼンシュタイン級数
Eisenstein seriesアイゼンシュタイン整数
Eisenstein integer