3 ms·
Russell’s types aren’t really the same notion as types in programming: https://planetmath.org/russellstheoryoftypes https://planetmath.org/russellstheoryoftypes
by layer8 2mo ago
Russell’s types aren’t really the same notion as types in programming: https://planetmath.org/russellstheoryoftypes https://planetmath.org/russellstheoryoftypes