↧
Answer by Andrej Bauer for Universe inconsistency as an effect
I don't have an answer, but I would like to provide some buzzwords and references that will make it easier to find relevant literature.Some background informationComputational effects and dependent...
View ArticleUniverse inconsistency as an effect
The Internet tells me there is some work on languages that permit general recursion but carry information about possible divergence in the type system. For instance, the simply-typed language Koka and...
View Article
More Pages to Explore .....