nullary sum

noun

nullary sum

noun

1

Arithmetic An empty sum.

These concepts are expressed by sum types, specifically the binary sum, which offers a choice of two things, and the nullary sum, which offers a choice of no things.2012, Robert Harper, Practical Foundations for Programming Languages, →ISBN, page 86:

Entry derived from the Wiktionary, under licence CC BY-SA 4.0 — list of authors.