English

Noun

nullary sum ‎(plural nullary sums)

1. (arithmetic) An empty sum.
   • 2012, Robert Harper, Practical Foundations for Programming Languages, ISBN 9781107029576, p. 86:

     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.

Translations