Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

unit type · Vinony

EntityQ1307872· pop 6· linked from 108 articles

unit type

Sign in to save

type allowing only one value in type theory

Connections

initial and terminal objects

computer science

International Standard Book Number

programming language

computer programming

unit of measurement

mathematical logic

Categories

Data types Type theory

Sources

wikipedia.externallinksexternallink

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Entitydist 0.47

Entitydist 0.62

instance variable

Entitydist 0.63

many-valued logic

Entitydist 0.65

continuous spectrum

Entitydist 0.66

New Foundations

Entitydist 0.68

ad hoc polymorphism

Entitydist 0.68

dimensionless physical constant

Entitydist 0.68

Entitydist 0.68

Entitydist 0.69

Entitydist 0.69

Entitydist 0.70

What links here108 pages

initial and terminal objects

half-precision floating-point format

composite data type

physical address

assignable variable

intuitionistic type theory

virtual address space

first-class functions