Similar to コンビネータ論理
不動点コンビネータ
Fixed-point combinatorラムダ計算
Lambda calculus
SKIコンビネータ計算
SKI combinator calculus
B,C,K,Wシステム
B, C, K, W system
型付きラムダ計算
Typed lambda calculus
カリー化
Currying
高階関数
Higher-order function
住性 (型理論)
Type inhabitation
チャーチ・ロッサーの定理
Church–Rosser theorem
ド・ブラウン・インデックス
De Bruijn index
ド・ブラウン記法
De Bruijn notation
ド・ブラウン・レベル
無名関数
Anonymous function
ラムダ・キューブ
Lambda cube
ラムダ計算騎士団
Knights of the Lambda Calculus
理論計算機科学
Theoretical computer science
M系列
Maximum length sequence
アルゴリズム
Algorithm▼-1 trends
アルファベット (計算機科学)
Alphabet (formal languages)
カリー＝ハワード同型対応
Curry–Howard correspondence
グスタフソンの法則
Gustafson's law
クヌース賞
Knuth Prize
クヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithm
計算木論理
Computation tree logic
計算複雑性理論
Computational complexity theory
計算理論
Theory of computation
計算論的哲学
Computational philosophy
形式言語
Formal language