Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Top_type> ?p ?o. }
Showing items 1 to 16 of
16
with 100 items per page.
- Top_type abstract "The top type in the type theory of mathematics, logic, and computer science, commonly abbreviated as top or by the down tack symbol (⊤), is the universal type—that type which contains every possible object in the type system of interest. The top type is sometimes called the universal supertype as all other types in any given type system are subtypes of top. It is in contrast with the bottom type, or the universal subtype, which is the type containing no members at all.".
- Top_type wikiPageExternalLink wiki?TopType.
- Top_type wikiPageExternalLink descrintro.
- Top_type wikiPageID "3893409".
- Top_type wikiPageRevisionID "603261342".
- Top_type hasPhotoCollection Top_type.
- Top_type subject Category:Data_types.
- Top_type subject Category:Type_theory.
- Top_type comment "The top type in the type theory of mathematics, logic, and computer science, commonly abbreviated as top or by the down tack symbol (⊤), is the universal type—that type which contains every possible object in the type system of interest. The top type is sometimes called the universal supertype as all other types in any given type system are subtypes of top. It is in contrast with the bottom type, or the universal subtype, which is the type containing no members at all.".
- Top_type label "Top type".
- Top_type label "Высший тип".
- Top_type sameAs m.0b5h53.
- Top_type sameAs Q4129836.
- Top_type sameAs Q4129836.
- Top_type wasDerivedFrom Top_type?oldid=603261342.
- Top_type isPrimaryTopicOf Top_type.