Bottom type
In type theory, a theory within mathematical logic, the bottom type is the type that has no values. It is also called the zero or empty type, and is sometimes denoted with falsum (⊥). A function whose return type is bottom cannot return any value. In the Curry–Howard correspondence, the bottom type corresponds to falsity.
Wikipage disambiguates
Wikipage redirect
primaryTopic
Bottom type
In type theory, a theory within mathematical logic, the bottom type is the type that has no values. It is also called the zero or empty type, and is sometimes denoted with falsum (⊥). A function whose return type is bottom cannot return any value. In the Curry–Howard correspondence, the bottom type corresponds to falsity.
has abstract
In type theory, a theory withi ...... m type corresponds to falsity.
@en
Le type vide est en théorie de ...... stion d'exceptions à la place.
@fr
Wikipage page ID
Wikipage revision ID
719,117,515
subject
hypernym
comment
In type theory, a theory withi ...... m type corresponds to falsity.
@en
Le type vide est en théorie de ...... bet : Pour toute proposition :
@fr
label
Bottom type
@en
Type vide
@fr