New answers tagged type-theory
7
I'm not (exactly) an expert, but my understanding is that there are very few practical applications of this conjecture, except possibly simplifying the decision procedure for type-checking in normalizing theories, by allowing one to choose any reduction strategy with confidence.
My feeling about this conjecture is that it is an important litmus test on our ...
Top 50 recent answers are included
