Sciweavers

CIE
2006
Springer

98views Applied Computing» more CIE 2006»

15 years 1 months ago

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

claim paper

Read More »