66
Voted
CIE
2006
Springer
15 years 4 months ago
2006
Springer
CIE
2006
Springer
15 years 4 months ago
2006
Springer
52
Voted
CIE
2006
Springer
15 years 4 months ago
2006
Springer
111
click to vote
CIE
2006
Springer
15 years 4 months 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...
50
Voted
CIE
2006
Springer
15 years 4 months ago
2006
Springer
60
Voted
CIE
2006
Springer
15 years 4 months ago
2006
Springer
50
Voted
CIE
2006
Springer
15 years 4 months ago
2006
Springer
56
Voted
CIE
2006
Springer
15 years 4 months ago
2006
Springer
75
Voted
CIE
2006
Springer
15 years 4 months 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...
63
Voted
CIE
2006
Springer
15 years 4 months 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...