bn:03110028n
Noun Concept
Categories: データ型,
JA
ボトム型
JA
ボトム型(ボトムがた、英: Bottom type)とは、型理論や数理論理学において値を持たない型のことである。 Wikipedia
Definitions
Relations
Sources
JA
ボトム型(ボトムがた、英: Bottom type)とは、型理論や数理論理学において値を持たない型のことである。 Wikipedia
DIFFERENT FROM
NOTATION
OPPOSITE OF
Wikipedia
Wikidata