Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q1307872> ?p ?o }
Showing triples 1 to 56 of
56
with 100 triples per page.
- Q1307872 subject Q7029162.
- Q1307872 subject Q7451631.
- Q1307872 subject Q8268983.
- Q1307872 abstract "In the area of mathematical logic and computer science known as type theory, a unit type is a type that allows only one value (and thus can hold no information). The carrier (underlying set) associated with a unit type can be any singleton set. There is an isomorphism between any two such sets, so it is customary to talk about the unit type and ignore the details of its value. One may also regard the unit type as the type of 0-tuples, i.e. the product of no types.The unit type is the terminal object in the category of types and typed functions. It should not be confused with the zero or bottom type, which allows no values and is the initial object in this category.The unit type is implemented in most functional programming languages. The void type that is used in some imperative programming languages serves some of its functions, but because its carrier set is empty, it has some limitations (as detailed below).".
- Q1307872 wikiPageWikiLink Q1051282.
- Q1307872 wikiPageWikiLink Q1056428.
- Q1307872 wikiPageWikiLink Q1061570.
- Q1307872 wikiPageWikiLink Q1144241.
- Q1307872 wikiPageWikiLink Q1165112.
- Q1307872 wikiPageWikiLink Q1166618.
- Q1307872 wikiPageWikiLink Q1315869.
- Q1307872 wikiPageWikiLink Q1322511.
- Q1307872 wikiPageWikiLink Q1411845.
- Q1307872 wikiPageWikiLink Q1514741.
- Q1307872 wikiPageWikiLink Q15777.
- Q1307872 wikiPageWikiLink Q17118377.
- Q1307872 wikiPageWikiLink Q189112.
- Q1307872 wikiPageWikiLink Q190087.
- Q1307872 wikiPageWikiLink Q190686.
- Q1307872 wikiPageWikiLink Q193076.
- Q1307872 wikiPageWikiLink Q21198.
- Q1307872 wikiPageWikiLink Q212587.
- Q1307872 wikiPageWikiLink Q217413.
- Q1307872 wikiPageWikiLink Q2370.
- Q1307872 wikiPageWikiLink Q2407.
- Q1307872 wikiPageWikiLink Q2470517.
- Q1307872 wikiPageWikiLink Q251.
- Q1307872 wikiPageWikiLink Q28865.
- Q1307872 wikiPageWikiLink Q319268.
- Q1307872 wikiPageWikiLink Q34010.
- Q1307872 wikiPageWikiLink Q3546108.
- Q1307872 wikiPageWikiLink Q37227.
- Q1307872 wikiPageWikiLink Q460584.
- Q1307872 wikiPageWikiLink Q513000.
- Q1307872 wikiPageWikiLink Q529752.
- Q1307872 wikiPageWikiLink Q575650.
- Q1307872 wikiPageWikiLink Q597330.
- Q1307872 wikiPageWikiLink Q600590.
- Q1307872 wikiPageWikiLink Q7029162.
- Q1307872 wikiPageWikiLink Q7099015.
- Q1307872 wikiPageWikiLink Q7135231.
- Q1307872 wikiPageWikiLink Q73820.
- Q1307872 wikiPageWikiLink Q7449618.
- Q1307872 wikiPageWikiLink Q7451631.
- Q1307872 wikiPageWikiLink Q746699.
- Q1307872 wikiPageWikiLink Q7860935.
- Q1307872 wikiPageWikiLink Q80006.
- Q1307872 wikiPageWikiLink Q80585.
- Q1307872 wikiPageWikiLink Q81571.
- Q1307872 wikiPageWikiLink Q8268983.
- Q1307872 wikiPageWikiLink Q849146.
- Q1307872 wikiPageWikiLink Q860654.
- Q1307872 wikiPageWikiLink Q9143.
- Q1307872 wikiPageWikiLink Q919107.
- Q1307872 comment "In the area of mathematical logic and computer science known as type theory, a unit type is a type that allows only one value (and thus can hold no information). The carrier (underlying set) associated with a unit type can be any singleton set. There is an isomorphism between any two such sets, so it is customary to talk about the unit type and ignore the details of its value. One may also regard the unit type as the type of 0-tuples, i.e.".
- Q1307872 label "Unit type".