1194 search results - page 90 / 239 » A Calculus for Predicative Programming |
109
Voted
CADE
1999
Springer
15 years 6 months ago
1999
Springer
We reduce the provability problem of any formula of the Lambek calculus to some context-free parsing problem. This reduction, which is based on non-commutative proof-net theory, al...
115
Voted
ICALP
2005
Springer
15 years 8 months ago
2005
Springer
We introduce a foundational language for modelling applications over global computers whose interconnection structure can be explicitly manipulated. Together with process distribut...
111
Voted
IFIP
2004
Springer
15 years 8 months ago
2004
Springer
Cryptographic protocols often make use of nested cryptographic primitives, for example signed message digests, or encrypted signed messages. Gordon and Jeffrey’s prior work on ty...
148
click to vote
IANDC
2010
14 years 12 months ago
2010
In a previous paper, we developed an algebraic theory of threads, interleaving of threads, and interaction between threads and services. In the current paper, we extend that theory...
155
click to vote
LICS
2006
IEEE
15 years 8 months ago
2006
IEEE
We present an expressiveness study of linearity and persistence of processes. We choose the π-calculus, one of the main representatives of process calculi, as a framework to cond...