Sciweavers

CIE
2006
Springer

Complexity-Theoretic Hierarchies

13 years 10 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
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2006
Where CIE
Authors Lars Kristiansen
Comments (0)