Hacker News new | ask | show | jobs
by QuesnayJr 2152 days ago
What makes you think that philosophers haven't heard of it? Here's the Stanford Encyclopedia of Philosophy entry on it: https://plato.stanford.edu/entries/type-theory-intuitionisti...