default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID29th MFPS 2013: New Orleans, LA, USA
- Dexter Kozen, Michael W. Mislove:
Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2013, New Orleans, LA, USA, June 23-25, 2013. Electronic Notes in Theoretical Computer Science 298, Elsevier 2013 - Dexter Kozen, Michael W. Mislove
:
Preface. 1-2 - Stephen Brookes, Benjamin C. Pierce, Gordon D. Plotkin, Dana S. Scott:
Dedication. 3-5 - Jan Rutten, Adolfo Ballester-Bolinches, Enric Cosme-Llópez:
Varieties and Covarieties of Languages (Extended Abstract). 7-28 - Martín Abadi, Jérémy Planul, Gordon D. Plotkin:
Layout Randomization and Nondeterminism. 29-50 - Danel Ahman, Sam Staton:
Normalization by Evaluation and Algebraic Effects. 51-69 - Pierre Clairambault, Glynn Winskel:
On Concurrent Games with Payoff. 71-92 - Roy L. Crole, Frank Nebel:
Nominal Lambda Calculus: An Internal Language for FM-Cartesian Closed Categories. 93-117 - Martín Hötzel Escardó:
Continuity of Gödel's System T Definable Functionals via Effectful Forcing. 119-141 - Zoltán Ésik:
A Connection Between Concurrency and Language Theory. 143-164 - Uli Fahrenberg, Axel Legay:
History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps. 165-178 - Eric Goubault, Tobias Heindel, Samuel Mimram:
A Geometric View of Partial Order Reduction. 179-195 - Ichiro Hasuo, Kenta Cho, Toshiki Kataoka, Bart Jacobs:
Coinductive Predicates and Final Sequences in a Fibration. 197-214 - Reinhold Heckmann, Klaus Keimel:
Quasicontinuous Domains and the Smyth Powerdomain. 215-232 - Bart Jacobs:
On Block Structures in Quantum Computation. 233-255 - Stefan Milius, Marcello M. Bonsangue, Robert S. R. Myers, Jurriaan Rot:
Rational Operational Models. 257-282 - Samuel Mimram, Cinzia Di Giusto:
A Categorical Theory of Patches. 283-307 - Maciej Piróg, Jeremy Gibbons:
Monads for Behaviour. 309-324 - Uday S. Reddy:
Automata-Theoretic Semantics of Idealized Algol with Passive Expressions. 325-348 - David Sprunger:
Linearization of Automatic Arrays and Weave Specifications. 349-365 - Mike Stay, Jamie Vicary:
Bicategorical Semantics for Nondeterministic Computation. 367-382 - Kei Terayama, Hideki Tsuiki:
A Stream Calculus of Bottomed Sequences for Real Number Computation. 383-402 - Glynn Winskel:
Distributed Probabilistic and Quantum Strategies. 403-425 - Chunlai Zhou:
Approximating Bisimilarity for Markov Processes. 427-440
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 2024-11-20 21:03 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:
