default search action
30th MFPS 2014: Ithaca, NY, USA
- Bart Jacobs, Alexandra Silva, Sam Staton:
Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2014, Ithaca, NY, USA, June 12-15, 2014. Electronic Notes in Theoretical Computer Science 308, Elsevier 2014 - Bart Jacobs, Alexandra Silva, Sam Staton:
Preface. 1-2 - Jirí Adámek, Robert S. R. Myers, Henning Urbat, Stefan Milius:
On Continuous Nondeterminism and State Minimality. 3-23 - Danel Ahman
, Tarmo Uustalu
Coalgebraic Update Lenses. 25-48 - Dariusz Biernacki
Applicative Bisimilarities for Call-by-Name and Call-by-Value λμ-Calculus. 49-64 - Stephen Brookes:
On Grainless Footprint Semantics for Shared-memory Programs. 65-86 - Simon Castellan, Jonathan Hayman, Marc Lasson, Glynn Winskel:
Strategies as Concurrent Processes. 87-107 - Liang-Ting Chen
On a Categorical Framework for Coalgebraic Modal Logic. 109-128 - J. Robin B. Cockett, Pieter J. W. Hofstra, Pavel Hrubes:
Total Maps of Turing Categories. 129-146 - Philippa Gardner, Azalea Raad, Mark J. Wheelhouse, Adam Wright:
Abstract Local Reasoning for Concurrent Libraries: Mind the Gap. 147-166 - Jean Goubault-Larrecq, Achim Jung:
QRB, QFS, and the Probabilistic Powerdomain. 167-182 - Samy Jaziri, Kim Guldstrand Larsen
Adequacy and Complete Axiomatization for Timed Modal Logic. 183-210 - Dexter Kozen, Radu Mardare, Prakash Panangaden:
A Metrized Duality Theorem for Markov Processes. 211-227 - Marc Lasson:
Canonicity of Weak ω-groupoid Laws Using Parametricity Theory. 229-244 - Giulio Manzonetto, Domenico Ruoppolo:
Relational Graph Models, Taylor Expansion and Extensionality. 245-272 - Maciej Piróg
The Coinductive Resumption Monad. 273-288 - Mathys Rennela:
Towards a Quantum Domain Theory: Order-enrichment and Fixpoints in W*-algebras. 289-307 - Tetsuya Sato
Identifying All Preorders on the Subdistribution Monad. 309-327
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-12-23 19:18 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: