← Back to context

Comment by layer8

2 hours ago

Russell’s types aren’t really the same notion as types in programming: https://planetmath.org/russellstheoryoftypes

0 comments

layer8

Reply

No comments yet

Contribute on Hacker News ↗