Homotopy Type Theory
type

“A type is defined as the range of significance of a propositional function, i.e., as the collection of arguments for which the said function has values.” – Bertrand Russell, 1908

See also

Type’ on the nLab wiki.

Created on May 14, 2014 00:26:55 by Alexis Hazell? (118.209.145.187)