Similar to 型付きラムダ計算
不変条件
Invariant (computer science)プログラム意味論
Semantics (computer science)プログラミングの統一理論
Unifying Theories of Programmingプロセス計算
Process calculus並行制約プログラミング
Concurrent constraint logic programming並行論理プログラミング
Concurrent logic programmingペトリネット
Petri netホーア論理
Hoare logicモデル検査
Model checkingモンデックスカード
Mondex有限オートマトン
Finite-state machine▲1 trendsユニフィケーション
Unification (computer science)ループ不変条件
Loop invariant論理プログラミング
Logic programming型理論
Type theoryNullable型
Nullable typeOption型
Option typeSystem F
System F値 (計算機科学)
Value (computer science)依存型
Dependent typeカインド (型理論)
Kind (type theory)型クラス
Type class型消去
Type erasure型推論
Type inferenceカリー=ハワード同型対応
Curry–Howard correspondence共変性と反変性 (計算機科学)
Covariance and contravariance (computer science)サブタイピング (計算機科学)
Subtyping始代数
Initial algebra