CIE
2006
Springer
15 years 18 days ago
2006
Springer
CIE
2006
Springer
15 years 18 days ago
2006
Springer
CIE
2006
Springer
15 years 18 days ago
2006
Springer
CIE
2006
Springer
15 years 18 days ago
2006
Springer
This note reexamines Spector's remarkable computational interpretation of full classical analysis. Spector's interpretation makes use of a rather abstruse recursion schem...
CIE
2006
Springer
15 years 18 days ago
2006
Springer
CIE
2006
Springer
15 years 18 days ago
2006
Springer
CIE
2006
Springer
15 years 18 days ago
2006
Springer
CIE
2006
Springer
15 years 18 days ago
2006
Springer
CIE
2006
Springer
15 years 18 days ago
2006
Springer
Abstract. We see a notion of normal derivation for the calculus of structures, which is based on a factorisation of derivations and which is more general than the traditional notio...
CIE
2006
Springer
15 years 18 days ago
2006
Springer
We work in D[< 0 ]. Given the jump class of any (Turing) degree a, the jump classes of the minimal covers of a is a matter which is entirely settled unless a is high2. We show t...