Electronic Notes in Theoretical Computer Science, Volume 249
Volume 249, August 2009
- David A. Schmidt: Abstract Interpretation From a Denotational-semantics Perspective. 19-37
- Claudio Hermida, Robert D. Tennent: Monoidal Indeterminates and Categories of Possible Worlds. 39-60
- Ana Bove: Another Look at Function Domains. 61-74
- Christelle Braun, Konstantinos Chatzikokolakis, Catuscia Palamidessi: Quantitative Notions of Leakage for One-try Attacks. 75-91
- John Longley: Some Programming Languages Suggested by Game Models (Extended Abstract). 117-134
- Andrej Bauer: On the Failure of Fixed-Point Theorems for Chain-complete Lattices in the Effective Topos. 157-167
- Malgorzata Biernacka, Dariusz Biernacki: A Context-based Approach to Proving Termination of Evaluation. 169-192
- Martín Hötzel Escardó: Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting. 219-242
- David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino: On the Unification of Process Semantics: Equational Semantics. 243-267
- Daniele Gorla: On the Relative Expressive Power of Calculi for Mobility. 269-286
- André Hirschowitz, Michel Hirschowitz, Tom Hirschowitz: Contraction-free Proofs and Finitary Games for Linear Logic. 287-305
- Elham Kashefi, D. K. L. Oi, Dan Browne, Janet Anders, E. Andersson: Twisted Graph States for Ancilla-driven Universal Quantum Computation. 307-331
- Paul Blain Levy, Kidane Yemane Weldemariam: Exploratory Functions on Nondeterministic Strategies, up to Lower Bisimilarity. 357-375
- Jirí Adámek, Stefan Milius, Jiri Velebil: Elgot Theories: A New Perspective of Iteration Theories (Extended Abstract). 407-427
- Mehrnoosh Sadrzadeh, Roy Dyckhoff: Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information. 451-470
- Sam Staton: Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names. 471-490
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team