Type_introspection は、無差別、過度、または無関係な例が含まれている可能性が 計算、型イントロスペクションは、プログラムの能力である検査のタイプのまたはプロパティオブジェクトにランタ…

Type_inhabitation で型理論の枝数学的なロジック、与えられた型指定された計算では、タイプの生息問題：この計算のためには、次のような問題であるタイプ与えられました τ { tau} とタ…

Type_inference 型推論とは、形式言語での式の型の自動検出を指します。これらには、プログラミング言語や数学的型システムが含まれますが、コンピュータサイエンスや言語学の一部の分野における自然…

Type_genus では、生物分類タイプ属はある属定義した生物学的家族と家族の名前のルートを。 女性の マガモ（ Anas platyrhynchos）とアヒルの子のクラッチ。 Anasはカモ科のタ…

Type_generalization タイプの一般化は、リファクタリングで一般的に使用される手法です。アイデアは、オブジェクト指向の利点を利用して、より一般化された型を作成することです。これにより、…

Type_foundry タイプのファウンドリは、ある会社の設計または配布する書体を。前デジタルタイポグラフィ、タイプファウンドリが製造販売手のための金属および木材書体組版を、そしてマトリクス状線鋳造…

Type_family は、コンピュータサイエンスにおけるデータ型の関連付けについてです。組版用語については、書体を参照してください 。生物学用語については、タイプ（生物学）を参照してください でコン…

Type_erasure ではプログラミング言語、型消去があり、負荷時の明示するプロセス型注釈はそれがで実行される前に、プログラムから削除され、実行時。プログラムに型を伴う必要のない操作的セマンティク…

Type_enforcement  「タイプエンフォースメント」   情報技術の分野におけるタイプエンフォースメント（TE）の概念は、コンピューターシステムのアクセスを規制するためのアクセス制御メカニ…

Type_design 航空機の型式設計については、型式証明を参照してください  「書体デザイン」   はタイポグラフィのタイポグラフィは 書体デザインは、書体をデザインする芸術とプロセスです。これに…