CIE
2006
Springer
14 years 13 days ago
2006
Springer
CIE
2006
Springer
14 years 13 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
14 years 13 days ago
2006
Springer
CIE
2006
Springer
14 years 13 days ago
2006
Springer
CIE
2006
Springer
14 years 13 days ago
2006
Springer
CIE
2006
Springer
14 years 13 days ago
2006
Springer
CIE
2006
Springer
14 years 13 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
14 years 13 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...
CIE
2006
Springer
14 years 13 days 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...
CIE
2006
Springer
14 years 13 days 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...