type (Rev #3, changes)

Showing changes from revision #2 to #3:
Added | ~~Removed~~ | ~~Chan~~ged

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

‘Type’ on the nLab wiki.

category: type theory

Revision on January 19, 2019 at 10:26:52 by Ali Caglayan. See the history of this page for a list of all contributions to it.