default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID26th MFPS 2010: Ottawa, ON, Canada
- Michael W. Mislove, Peter Selinger:
Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2010, Ottawa, Ontario, Canada, May 6-10, 2010. Electronic Notes in Theoretical Computer Science 265, Elsevier 2010 - Michael W. Mislove
, Peter Selinger:
Preface. 1-3 - Samson Abramsky:
Robin Milner's Work on Concurrency. 5-10 - Pieter J. W. Hofstra, J. Robin B. Cockett:
Unitary Theories, Unitary Categories. 11-33 - Keye Martin, Johnny Feng, Sanjeevi Krishnan:
A Free Object in Quantum Information Theory. 35-47 - Deepak Garg, Jason Franklin, Dilsun Kirli Kaynar, Anupam Datta:
Compositional System Security with Interface-Confined Adversaries. 49-71 - Ferdinanda Camporesi, Jérôme Feret, Heinz Koeppl, Tatjana Petrov:
Combining Model Reductions. 73-96 - Dusko Pavlovic, Catherine Meadows:
Bayesian Authentication: Quantifying Security of the Hancke-Kuhn Protocol. 97-122 - Eric Mjolsness:
Towards Measurable Types for Dynamical Process Modeling Languages. 123-144 - Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers:
On Rule Formats for Zero and Unit Elements. 145-160 - Michele Basaldella, Alexis Saurin, Kazushige Terui:
From Focalization of Logic to the Logic of Focalization. 161-176 - Stephen Brookes:
Fairness, Resources, and Separation. 177-195 - James Brotherston:
A Unified Display Proof Theory for Bunched Logic. 197-211 - Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto:
Categorical Models for Simply Typed Resource Calculi. 213-230 - Ana C. Calderon, Guy McCusker:
Understanding Game Semantics Through Coherence Spaces. 231-244 - Venanzio Capretta:
Bisimulations Generated from Corecursive Equations. 245-258 - Ranald Clouston:
Binding in Nominal Equational Logic. 259-276 - J. Robin B. Cockett, Brian F. Redmond:
A Categorical Setting for Lower Complexity. 277-300 - Dan R. Ghica, Alex I. Smith:
Geometry of Synthesis II: From Games to Delay-Insensitive Circuits. 301-324 - Eric Goubault, Emmanuel Haucourt, Sanjeevi Krishnan:
Future Path-components in Directed Topology. 325-335 - Masahito Hasegawa:
Bialgebras in Rel. 337-350 - Ichiro Hasuo, Bart Jacobs, Milad Niqui:
Coalgebraic Representation Theory of Fractals. 351-368 - Dominique Larchey-Wendling:
An Alternative Direct Simulation of Minsky Machines into Classical Bunched Logics via Group Semantics. 369-387 - Guy McCusker, John Power:
Modelling Local Variables: Possible Worlds and Object Spaces. 389-402 - Rasmus Ejlers Møgelberg:
A Nominal Relational Model for Local Store. 403-421 - Andrzej S. Murawski:
Full Abstraction Without Synchronization Primitives. 423-436 - Rick Statman:
Cartesian Monoids. 437-451
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-09-18 23:30 CEST 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:
