Homotopy Type Theory
type (Rev #2, changes)

Showing changes from revision #1 to #2: Added | Removed | Changed

“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.

category: type theory

Revision on September 4, 2018 at 13:03:15 by Ali Caglayan. See the history of this page for a list of all contributions to it.