2436 search results - page 144 / 488 » Comonadic Notions of Computation |
109
click to vote
LICS
2006
IEEE
15 years 10 months ago
2006
IEEE
We give a semantic characterization of bounded complexity proofs. We introduce the notion of obsessional clique in the relational model of linear logic and show that restricting t...
131
click to vote
LICS
2005
IEEE
15 years 9 months ago
2005
IEEE
A number of authors have exported domain-theoretic techniques from denotational semantics to the operational study of contextual equivalence and preorder. We further develop this,...
115
click to vote
FSTTCS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper addresses the issue of confidentiality and declassification for global computing in a language-based security perspective. The purpose is to deal with new fo...
146
click to vote
SPIRE
2005
Springer
15 years 9 months ago
2005
Springer
We introduce the notion of conservative edit distance and mapping between two RNA stem-loops. We show that unlike the general edit distance between RNA secondary structures, the co...
113
click to vote
CMSB
2004
Springer
15 years 9 months ago
2004
Springer
A refinement of Cardelli’s brane calculus [1] is introduced where membrane actions are directed. This modification brings the language closer to biological membranes and also o...