60
Voted
CIE
2006
Springer
15 years 19 days ago
2006
Springer
We introduce two hierarchies of unknown ordinal height. The hierarchies are induced by natural fragments of a calculus based on finite types and G