Similar to ラムダ計算
Eiffel
Eiffel (programming language)
Extensible HyperText Markup Language
XHTML
Extensible Stylesheet Language
XSL
Extensible Markup Language
XML
Intel 8051
MCS-51
Intel MCS-48
Intel MCS-48
MC68020
Motorola 68020
MC68030
Motorola 68030
10
10
11
11 (number)
12
12 (number)
100
100
400
400 (number)
700
700 (number)
1000
1000 (number)
1000000
1,000,000
スティーヴン・コール・クリーネ
Stephen Cole Kleene
再帰理論
F代数
F-algebra
カリー化
Currying
高階関数
Higher-order function
代数的データ型
Algebraic data type
無名関数
Anonymous function
M系列
Maximum length sequence
アルファベット (計算機科学)
Alphabet (formal languages)
クヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithm
形式的検証
Formal verification
ゲーム意味論
Game semantics