Sciweavers

CIE
2006
Springer
14 years 4 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