Similar to 不動点コンビネータ
Result型
Result type
SECDマシン
SECD machine
型クラス
Type class
型推論
Type inference
参照透過性
Referential transparency
始代数
Initial algebra
代数的データ型
Algebraic data type
サイモン・ペイトン・ジョーンズ
Simon Peyton Jones
モナド (プログラミング)
Monad (functional programming)
EDVACに関する報告書の第一草稿
First Draft of a Report on the EDVAC
後向き連鎖
Backward chaining
オートマトン
Automata theory
計算可能数
Computable number
計算等価性原理
A New Kind of Science#Principle of computational equivalence
計算モデル
Model of computation
計算論的神経科学
Computational neuroscience
決定問題
Decision problem
コルモゴロフ複雑性
Kolmogorov complexity
自己言及
Self-reference
スーダン関数
Sudan function
漸化式
Recurrence relation
竹内関数
Tak (function)
チャイティンの定数
Chaitin's constant
チャーチ＝チューリングのテーゼ
Church–Turing thesis
チューリング完全
Turing completeness
停止性問題
Halting problem
ノモグラム
Nomogram
ハイパーコンピュータ
Hypercomputation