CIE
2006
Springer
15 years 10 months ago
2006
Springer
180
click to vote
CIE
2006
Springer
15 years 10 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...
CIE
2006
Springer
15 years 10 months ago
2006
Springer
101
Voted
CIE
2006
Springer
15 years 10 months ago
2006
Springer
104
Voted
CIE
2006
Springer
15 years 10 months ago
2006
Springer
129
click to vote
CIE
2006
Springer
15 years 10 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...
111
click to vote
CIE
2006
Springer
15 years 10 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...
162
Voted
CIE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this paper, we survey a few recent applications of Kolmogorov complexity to lower bounds in several models of computation. We consider KI complexity of Boolean functio...
178
Voted
CIE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Datatype-generic programs are programs that are parameterised by a datatype. Designing datatype-generic programs brings new challenges and new opportunities. We review th...