← Back to context Comment by lordleft 7 hours ago It blows my mind that Russell invented (formalized) types. Such an elemental concept, but so useful. 1 comment lordleft Reply layer8 2 hours ago Russell’s types aren’t really the same notion as types in programming: https://planetmath.org/russellstheoryoftypes
layer8 2 hours ago Russell’s types aren’t really the same notion as types in programming: https://planetmath.org/russellstheoryoftypes
Russell’s types aren’t really the same notion as types in programming: https://planetmath.org/russellstheoryoftypes