Category:理論計算機科学
ラムダ計算
Lambda calculus数学基礎論
Foundations of mathematics数理論理学
Mathematical logic計算理論
Theory of computation不動点コンビネータ
Fixed-point combinator理論計算機科学
Theoretical computer science形式言語
Formal languageデジタル物理学
Digital physicsマルコフ決定過程
Markov decision processカリー=ハワード同型対応
Curry–Howard correspondenceロジャー・シャンク
Roger Schank双模倣性
Bisimulationクヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithm並行制約プログラミング
Concurrent constraint logic programmingコンビネータ論理
Combinatory logicグスタフソンの法則
Gustafson's law形式言語の階層
公理的意味論
Axiomatic semanticsアルファベット (計算機科学)
Alphabet (formal languages)表明 (プログラミング)
Assertion (software development)閉世界仮説
Closed-world assumption弱文脈依存言語
Mildly context-sensitive grammar formalismクヌース賞
Knuth Prizeゲーム意味論
Game semantics並行論理プログラミング
Concurrent logic programming制約論理プログラミング
Constraint logic programming失敗による否定
Negation as failure計算論的哲学
Computational philosophy