Type_theory_with_records レコードを持つ型理論は、ある形式意味論の使用、表現の枠組みレコードを表現するために型理論の 種類を。これは、自然言語処理、主に計算セマンティクスおよび…

Type_theory では、数学、ロジック、およびコンピュータサイエンス、型システムはある正式なシステムのすべての用語は、その意味とその上で実行される動作を定義する「タイプ」を持っています。型理論は…

Type_system_of_the_Royal_Navy 型システムはで使用される分類システムである英国 王立海軍機能によって分類表面護衛に。このシステムは、第二次世界大戦で得られた経験に照らして、…

Type_system は、コンピュータプログラミングの観点からの型システムについてです。理論的な再定式化については、型理論を参照してください プログラミング言語、型システムは、ある論理システムと呼ば…

Type_specimen_(mineralogy) 鉱物、タイプ標本としても知られているタイプの材料、基準である試料れる鉱物が定義されています。生物学型の方法と同様に、鉱物型の標本は、その鉱物の学名…

Type_species で動物命名法、タイプ種（種typica）である種の名前が、名前属または亜属生体含ま永久分類学的に関連する、すなわち、種であると考えられているタイプの検体（複数可）。同様の概念…

Type_site は考古学的なタイプのサイトについてです。地質タイプのサイトについては、タイプ産地（地質）を参照してください 考古学、タイプのサイトがあり、サイトの特定の定義するために使用される考古…

Type_signature 引用の誤りをチェックして、  「型署名」   コンピュータサイエンス、型シグネチャまたはタイプ注釈は、関数、サブルーチン、またはのための入力および出力定義方法。型シグネチ…

Type_shifter で、正式な意味論タイプのシフターは、ある解釈の表現の変更ルールセマンティックタイプを。たとえば、英語の式「John」は通常、 John自身を表す場合がありますが、Liftと呼…

Type_set  「タイプセット」   タイプセットは、コインのデザインやタイプに基づいてコインコレクションです。従来のコレクションは、州の四半期やリンカーンセントなどのシリーズ内のすべての日付で構…