Sciweavers

CIE
2006
Springer
13 years 9 months ago
Complexity-Theoretic Hierarchies
We introduce two hierarchies of unknown ordinal height. The hierarchies are induced by natural fragments of a calculus based on finite types and G
Lars Kristiansen