default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID25th MFPS 2009: Oxford, UK
- Samson Abramsky, Michael W. Mislove, Catuscia Palamidessi:
Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics, MFPS 2009, Oxford, UK, April 3-7, 2009. Electronic Notes in Theoretical Computer Science 249, Elsevier 2009 - Samson Abramsky
, Michael W. Mislove, Catuscia Palamidessi:
Preface. 1-2 - Neil Ghani, Peter G. Hancock, Dirk Pattinson:
Continuous Functions on Final Coalgebras. 3-18 - 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 - Klaus Keimel, Jimmie D. Lawson:
Extending Algebraic Operations to D-Completions. 93-116 - John Longley:
Some Programming Languages Suggested by Game Models (Extended Abstract). 117-134 - Samson Abramsky, Radha Jagadeesan:
Game Semantics for Access Control. 135-156 - 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 - Daniel Brown, Riccardo Pucella:
Categories of Timed Stochastic Relations. 193-217 - 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, Daniel K. L. Oi, Dan E. Browne, Janet Anders, Erika Andersson:
Twisted Graph States for Ancilla-driven Universal Quantum Computation. 307-331 - Alexander Kurz, Raul Andres Leal:
Equational Coalgebraic Logic. 333-356 - Paul Blain Levy, Kidane Yemane Weldemariam:
Exploratory Functions on Nondeterministic Strategies, up to Lower Bisimilarity. 357-375 - Paul-André Melliès, Nicolas Tabareau:
An Algebraic Account of References in Game Semantics. 377-405 - Jirí Adámek, Stefan Milius, Jirí Velebil:
Elgot Theories: A New Perspective of Iteration Theories (Extended Abstract). 407-427 - Luca Paolini, Mauro Piccolo, Simona Ronchi Della Rocca:
Logical Semantics for Stability. 429-449 - 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-20 19:45 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
