852 search results - page 69 / 171 » entcs 2010 |
116
click to vote
ENTCS
2007
15 years 3 months ago
2007
We pursue the program of exposing the intrinsic mathematical structure of the “space of proofs” of a logical system [AJ94b]. We study the case of Multiplicative-Additive Linea...
130
click to vote
ENTCS
2007
15 years 3 months ago
2007
This paper studies the notion of “freshness” that often occurs in the meta-theory of computer science languages involving various kinds of names. Nominal Equational Logic is a...
122
click to vote
ENTCS
2007
15 years 3 months ago
2007
McCarthy’s amb operator has no known denotational semantics, and its basic operational properties - the context lemma, the compatibility of refinement similarity and convex bis...
111
click to vote
ENTCS
2007
15 years 3 months ago
2007
Escard´o, Hofmann and Streicher showed that real-number computations in the interval-domain environment are inherently parallel, in the sense that they imply the presence of weak...
137
click to vote
ENTCS
2007
15 years 3 months ago
2007
In this paper we develop a framework, based on strand spaces, for reasoning about cryptographic protocols and characterizing their executions. We define skeletons, homomorphisms,...