About: http://fr.dbpedia.org/resource/Catégorie:Théorie_des

Property	Value
dbo:wikiPageID	1023881 (xsd:integer)
dbo:wikiPageRevisionID	91173483 (xsd:integer)
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Article_principal dbpedia-fr:Modèle:Catégorie_informatique
rdf:type	skos:Concept
rdfs:label	Théorie des types (fr) Théorie des types (fr)
rdfs:seeAlso	https://commons.wikimedia.org/wiki/Category:Type_theory
owl:sameAs	dbc:Type_theory dbpedia-commons:Category:Type_theory wikidata:Q7451631 dbpedia-ar:تصنيف:نظرية_النمط http://bs.dbpedia.org/resource/Kategorija:Teorija_vrste dbpedia-cs:Kategorie:Teorie_typů dbpedia-de:Kategorie:Typentheorie dbpedia-el:Κατηγορία:Θεωρία_τύπων dbpedia-eo:Kategorio:Teorio_de_tipoj dbpedia-es:Categoría:Teoría_de_tipos dbpedia-fa:رده:نظریه_نوع‌ها dbpedia-id:Kategori:Teori_tipe dbpedia-it:Categoria:Teoria_dei_tipi dbpedia-ja:Category:型理論 dbpedia-ko:분류:유형_이론 dbpedia-mk:Категорија:Теорија_на_типовите dbpedia-ms:Kategori:Teori_jenis dbpedia-no:Kategori:Typeteori dbpedia-pt:Categoria:Teoria_dos_tipos dbpedia-ru:Категория:Теория_типов dbpedia-th:หมวดหมู่:ทฤษฎีแบบชนิด dbpedia-tr:Kategori:Tip_teorisi dbpedia-uk:Категорія:Теорія_типів http://ur.dbpedia.org/resource/زمرہ:نظریہ_ٹائپ dbpedia-vi:Thể_loại:Lý_thuyết_kiểu dbpedia-zh:Category:类型论
skos:broader	category-fr:Fondements_des_mathématiques category-fr:Informatique_théorique category-fr:Théorie_mathématique
skos:prefLabel	Théorie des types (fr) Théorie des types (fr)
prov:wasDerivedFrom	wikipedia-fr:Catégorie:Théorie_des_types?oldid=91173483&ns=14
is dbo:wikiPageWikiLink of	dbpedia-fr:Type_algébrique_généralisé dbpedia-fr:Type_produit dbpedia-fr:Type_somme dbpedia-fr:Ada_(langage) dbpedia-fr:Automath dbpedia-fr:Barbara_Liskov dbpedia-fr:Benjamin_Werner dbpedia-fr:Bertrand_Meyer dbpedia-fr:Bertrand_Russell dbpedia-fr:Calcul_des_constructions dbpedia-fr:Caml dbpedia-fr:Claude_Pair dbpedia-fr:Continuation_(informatique) dbpedia-fr:Conversion_de_type dbpedia-fr:Coq_(logiciel) dbpedia-fr:Correspondance_de_Curry-Howard dbpedia-fr:Duck_typing dbpedia-fr:Filtrage_par_motif dbpedia-fr:Fondements_univalents dbpedia-fr:Georges_Gonthier dbpedia-fr:Gilles_Dowek dbpedia-fr:Haskell dbpedia-fr:Haskell_Curry dbpedia-fr:Inférence_de_types dbpedia-fr:Inversion_des_dépendances dbpedia-fr:Jean-Louis_Krivine dbpedia-fr:Jean-Pierre_Jouannaud dbpedia-fr:Jean-Yves_Girard dbpedia-fr:Jean_Ichbiah dbpedia-fr:Jeannette_Wing dbpedia-fr:Lambda-calcul dbpedia-fr:Lambda_cube dbpedia-fr:Langage_d'assemblage_typé dbpedia-fr:Le_Système_U dbpedia-fr:Logique_combinatoire dbpedia-fr:Logique_intuitionniste dbpedia-fr:Logique_linéaire dbpedia-fr:Olivier_Danvy dbpedia-fr:Per_Martin-Löf dbpedia-fr:Philip_Wadler dbpedia-fr:PhoX_(logiciel) dbpedia-fr:Principe_de_substitution_de_Liskov dbpedia-fr:Principe_ouvert/fermé dbpedia-fr:PureScript dbpedia-fr:Robin_Milner dbpedia-fr:Référence_(programmation) dbpedia-fr:Réseau_de_preuves dbpedia-fr:Simon_Peyton_Jones dbpedia-fr:Substitution_explicite dbpedia-fr:Système_F dbpedia-fr:Système_nominatif_de_types dbpedia-fr:Système_structurel_de_types dbpedia-fr:Sûreté_du_typage dbpedia-fr:Théorie_des_types dbpedia-fr:Théorie_des_types_homotopiques dbpedia-fr:Trait_(programmation) dbpedia-fr:Typage_dynamique dbpedia-fr:Typage_fort dbpedia-fr:Typage_statique dbpedia-fr:Type_(informatique) dbpedia-fr:Type_abstrait dbpedia-fr:Type_algébrique_de_données dbpedia-fr:Type_dépendant dbpedia-fr:Type_personnalisé dbpedia-fr:Type_récursif dbpedia-fr:Type_unité dbpedia-fr:Type_valeur_et_type_référence dbpedia-fr:Type_vide dbpedia-fr:Vacuité dbpedia-fr:Void dbpedia-fr:Xavier_Leroy dbpedia-fr:Mixin
is dct:subject of	dbpedia-fr:Type_algébrique_généralisé dbpedia-fr:Type_produit dbpedia-fr:Type_somme dbpedia-fr:Ada_(langage) dbpedia-fr:Automath dbpedia-fr:Barbara_Liskov dbpedia-fr:Benjamin_Werner dbpedia-fr:Bertrand_Meyer dbpedia-fr:Bertrand_Russell dbpedia-fr:Calcul_des_constructions dbpedia-fr:Caml dbpedia-fr:Claude_Pair dbpedia-fr:Continuation_(informatique) dbpedia-fr:Conversion_de_type dbpedia-fr:Coq_(logiciel) dbpedia-fr:Correspondance_de_Curry-Howard dbpedia-fr:Duck_typing dbpedia-fr:Filtrage_par_motif dbpedia-fr:Fondements_univalents dbpedia-fr:Georges_Gonthier dbpedia-fr:Gilles_Dowek dbpedia-fr:Haskell dbpedia-fr:Haskell_Curry dbpedia-fr:Inférence_de_types dbpedia-fr:Inversion_des_dépendances dbpedia-fr:Jean-Louis_Krivine dbpedia-fr:Jean-Pierre_Jouannaud dbpedia-fr:Jean-Yves_Girard dbpedia-fr:Jean_Ichbiah dbpedia-fr:Jeannette_Wing dbpedia-fr:Lambda-calcul dbpedia-fr:Lambda_cube dbpedia-fr:Langage_d'assemblage_typé dbpedia-fr:Le_Système_U dbpedia-fr:Logique_combinatoire dbpedia-fr:Logique_intuitionniste dbpedia-fr:Logique_linéaire dbpedia-fr:Olivier_Danvy dbpedia-fr:Per_Martin-Löf dbpedia-fr:Philip_Wadler dbpedia-fr:PhoX_(logiciel) dbpedia-fr:Principe_de_substitution_de_Liskov dbpedia-fr:Principe_ouvert/fermé dbpedia-fr:PureScript dbpedia-fr:Robin_Milner dbpedia-fr:Référence_(programmation) dbpedia-fr:Réseau_de_preuves dbpedia-fr:Simon_Peyton_Jones dbpedia-fr:Substitution_explicite dbpedia-fr:Système_F dbpedia-fr:Système_nominatif_de_types dbpedia-fr:Système_structurel_de_types dbpedia-fr:Sûreté_du_typage dbpedia-fr:Théorie_des_types dbpedia-fr:Théorie_des_types_homotopiques dbpedia-fr:Trait_(programmation) dbpedia-fr:Typage_dynamique dbpedia-fr:Typage_fort dbpedia-fr:Typage_statique dbpedia-fr:Type_(informatique) dbpedia-fr:Type_abstrait dbpedia-fr:Type_algébrique_de_données dbpedia-fr:Type_dépendant dbpedia-fr:Type_personnalisé dbpedia-fr:Type_récursif dbpedia-fr:Type_unité dbpedia-fr:Type_valeur_et_type_référence dbpedia-fr:Type_vide dbpedia-fr:Vacuité dbpedia-fr:Void dbpedia-fr:Xavier_Leroy dbpedia-fr:Mixin
is oa:hasTarget of	tag-fr:WdtFrResource

About: http://fr.dbpedia.org/resource/Catégorie:Théorie_des_types