Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Product type
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
The result of multiplying types in type theory
Property
Value
dbo:
description
тип даних, побудований як декартів добуток початкових типів
(uk)
the result of multiplying types in type theory
(en)
tüüpide korrutamise tulemus tüübiteoorias
(et)
разновидность типов данных в информатике
(ru)
dbo:
wikiPageExternalLink
http://homotopytypetheory.org/2013/06/20/the-hott-book/
dbo:
wikiPageWikiLink
dbr
:Empty_product
dbr
:Unit_type
dbr
:Primitive_data_type
dbr
:ML_(programming_language)
dbr
:Programming_language
dbr
:Type_theory
dbr
:Direct_product
dbr
:Product_(category_theory)
dbr
:Record_(computer_science)
dbr
:Cartesian_product
dbr
:Evaluation_strategy
dbr
:Curry–Howard_correspondence
dbr
:Functional_programming
dbr
:Primitive_notion
dbr
:Data_type
dbr
:Logical_conjunction
dbr
:Tuple
dbr
:Identifier
dbr
:Value_(computer_science)
dbr
:Algebraic_data_type
dbr
:Dependent_type
dbc
:Data_types
dbc
:Type_theory
dbc
:Composite_data_types
dbr
:Dual_(mathematics)
dbr
:Quotient_type
dbr
:Sum_type
dbr
:Haskell_(programming_language)
dbr
:Pattern-matching
dbp:
id
product+type
(en)
dbp:
title
product type
(en)
dbp:
wikiPageUsesTemplate
dbt
:Data_types
dbt
:Nlab
dbt
:No_footnotes
dbt
:Short_description
dct:
subject
dbc
:Data_types
dbc
:Type_theory
dbc
:Composite_data_types
rdfs:
label
Product type
(en)
Type produit
(fr)
Тип-произведение
(ru)
Тип-добуток
(uk)
owl:
sameAs
freebase
:Product type
wikidata
:Product type
dbpedia-fr
:Product type
dbpedia-ru
:Product type
dbpedia-uk
:Product type
dbpedia-global
:Product type
prov:
wasDerivedFrom
wikipedia-en
:Product_type?oldid=1305148477&ns=0
foaf:
isPrimaryTopicOf
wikipedia-en
:Product_type
is
dbo:
wikiPageRedirects
of
dbr
:Pair_type
dbr
:Product_(compute_science)
dbr
:Product_(computer_science)
dbr
:Pair_(computer_science)
dbr
:Tuple_(computer_science)
dbr
:Tuple_type
is
dbo:
wikiPageWikiLink
of
dbr
:Haxe
dbr
:Mu_(letter)
dbr
:Parametric_polymorphism
dbr
:Type_theory
dbr
:Tagged_union
dbr
:Record_(computer_science)
dbr
:Type_system
dbr
:Currying
dbr
:Atlantic_Grupa
dbr
:Cartesian_product
dbr
:Natural_deduction
dbr
:Curry–Howard_correspondence
dbr
:Data_type
dbr
:Logical_conjunction
dbr
:Tuple
dbr
:Zipper_(data_structure)
dbr
:Partial_application
dbr
:Algebraic_data_type
dbr
:Intersection_type
dbr
:Dependent_type
dbr
:Type_constructor
dbr
:Purely_functional_data_structure
dbr
:Function_type
dbr
:Pair_type
dbr
:Quotient_type
dbr
:Product_(compute_science)
dbr
:Product_(computer_science)
dbr
:Pair_(computer_science)
dbr
:Tuple_(computer_science)
dbr
:Tuple_type
is
foaf:
primaryTopic
of
wikipedia-en
:Product_type
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International