rndn

no profile record

Submissions

Relation Between Type Theory, Category Theory and Logic

177 pointsby rndn11 лет назад70 comments

comments

11 лет назадdiscuss

Doesn't the halting problem pose an obstacle in deciding whether two types act in an equivalent way (similar to how the equivalence between two programs is undecidable)?