Similar to 型付きラムダ計算
新基礎集合論
New Foundations
数学的構造
Mathematical structureダック・タイピング
Duck typing
抽象データ型
Abstract data type
直観主義型理論
Intuitionistic type theory
データ型
Data type
変数 (プログラミング)
Variable (computer science)
リスコフの置換原則
Liskov substitution principle
SKIコンビネータ計算
SKI combinator calculus
カリー化
Currying
高階関数
Higher-order function
コンビネータ論理
Combinatory logic
チャーチ・ロッサーの定理
Church–Rosser theorem
ド・ブラウン・インデックス
De Bruijn index
ド・ブラウン記法
De Bruijn notation▼-2 trends
ド・ブラウン・レベル
無名関数
Anonymous function
ラムダ計算騎士団
Knights of the Lambda Calculus