Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03110028n
Noun Concept
Categories: Data types, Type theory
EN
bottom type  empty type  Java.lang.Void  zero type
EN
In type theory, a theory within mathematical logic, the bottom type of a type system is the type that is a subtype of all other types. Wikipedia
Definitions
Relations
Sources
EN
In type theory, a theory within mathematical logic, the bottom type of a type system is the type that is a subtype of all other types. Wikipedia
The type that has no values; it is also called the zero or empty type Wikidata
IS A
data type
DIFFERENT FROM
element
NOTATION
up tack
OPPOSITE OF
top type
Wikipedia
EN
bottom type
Wikidata
EN
bottom type
Wikipedia Redirections
EN
Java.lang.Void, Zero type
Wikidata Alias
EN
empty type, zero type

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License