CORR
2011
Springer
12 years 12 months ago
2011
Springer
CORR
2011
Springer
12 years 12 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
12 years 12 months ago
2011
Springer
CORR
2011
Springer
12 years 12 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
12 years 12 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
12 years 12 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
12 years 12 months ago
2011
Springer
CORR
2011
Springer
12 years 12 months ago
2011
Springer
CORR
2011
Springer
12 years 12 months ago
2011
Springer
CORR
2011
Springer
12 years 12 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...