ENTCS
2010
13 years 4 months ago
2010
ENTCS
2010
13 years 4 months ago
2010
A polarized strong category consists of a cartesian category, X, and a category Y, together with a module M : X
ENTCS
2010
13 years 4 months ago
2010
Process modeling languages such as "Dynamical Grammars" are highly expressive in the processes they model using stochastic and deterministic dynamical systems, and can b...
ENTCS
2010
13 years 4 months ago
2010
Focalization property is a deep outcome of linear logic proof theory, putting to the foreground the role of polarity in logic. It resulted an important advances in various fields, ...
ENTCS
2010
13 years 4 months ago
2010
ENTCS
2010
13 years 4 months ago
2010
This paper extends previous work on the compilation of higher-order imperative languages into digital circuits [4]. We introduce concurrency, an essential feature in the context o...
ENTCS
2010
13 years 4 months ago
2010
This paper presents a formal framework for compositional reasoning about secure systems. A key insight is to view a trusted system in terms of the interfaces that the various comp...
ENTCS
2010
13 years 4 months ago
2010
Molecular biological models usually suffer from a large combinatorial explosion. Indeed, proteins form complexes and modify each others, which leads to the formation of a huge num...
ENTCS
2010
13 years 4 months ago
2010
The theory of nominal sets is a theory for names, freshness and binders. It has recently been suggested as a framework for modelling local store because it allows for a more eleme...
ENTCS
2010
13 years 4 months ago
2010