![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
25th 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.