CORR
2011
Springer
13 years 7 months ago
2011
Springer
CORR
2011
Springer
13 years 7 months ago
2011
Springer
Abstract. We consider a simple model of higher order, functional computations over the booleans. Then, we enrich the model in order to encompass non-termination and unrecoverable e...
CORR
2011
Springer
13 years 7 months ago
2011
Springer
CORR
2011
Springer
13 years 7 months ago
2011
Springer
Abstract. We show how to extract existential witnesses from classical proofs using Krivine’s classical realizability—where classical proofs are interpreted as λ-terms with the...
CORR
2011
Springer
13 years 7 months ago
2011
Springer
This paper proposes a framework dedicated to the construction of what we call time elastic inner products allowing one to embed sets of non-uniformly sampled multivariate time ser...
CORR
2011
Springer
13 years 7 months ago
2011
Springer
The context of a software developer is something hard to define and capture, as it represents a complex network of elements across different dimensions that are not limited to th...
CORR
2011
Springer
13 years 7 months ago
2011
Springer
CORR
2011
Springer
13 years 7 months ago
2011
Springer
CORR
2011
Springer
13 years 7 months ago
2011
Springer
CORR
2011
Springer
13 years 7 months ago
2011
Springer
The framework of psi-calculi extends the pi-calculus with nominal datatypes for data structures and for logical assertions and conditions. These can be transmitted between processe...