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...