e/Bottom type

Information
has gloss	eng: 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 (⊥).
lexicalization	eng: bottom type
instance of	c/Data types

Meaning
French
has gloss	fra: Le type vide est en théorie des types un type qui ne comporte pas de valeurs.
lexicalization	fra: type vide