| 2010 | A Categorical Setting for Lower Complexity. J. Robin B. Cockett, Brian F. Redmond |
| 2010 | A Free Object in Quantum Information Theory. Keye Martin, Johnny Feng, Sanjeevi Krishnan |
| 2010 | A Nominal Relational Model for Local Store. Rasmus Ejlers Møgelberg |
| 2010 | A Unified Display Proof Theory for Bunched Logic. James Brotherston |
| 2010 | An Alternative Direct Simulation of Minsky Machines into Classical Bunched Logics via Group Semantics. Dominique Larchey-Wendling |
| 2010 | Bayesian Authentication: Quantifying Security of the Hancke-Kuhn Protocol. Dusko Pavlovic, Catherine Meadows |
| 2010 | Bialgebras in Rel. Masahito Hasegawa |
| 2010 | Binding in Nominal Equational Logic. Ranald Clouston |
| 2010 | Bisimulations Generated from Corecursive Equations. Venanzio Capretta |
| 2010 | Cartesian Monoids. Rick Statman |
| 2010 | Categorical Models for Simply Typed Resource Calculi. Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto |
| 2010 | Coalgebraic Representation Theory of Fractals. Ichiro Hasuo, Bart Jacobs, Milad Niqui |
| 2010 | Combining Model Reductions. Ferdinanda Camporesi, Jérôme Feret, Heinz Koeppl, Tatjana Petrov |
| 2010 | Compositional System Security with Interface-Confined Adversaries. Deepak Garg, Jason Franklin, Dilsun Kirli Kaynar, Anupam Datta |
| 2010 | Fairness, Resources, and Separation. Stephen Brookes |
| 2010 | From Focalization of Logic to the Logic of Focalization. Michele Basaldella, Alexis Saurin, Kazushige Terui |
| 2010 | Full Abstraction Without Synchronization Primitives. Andrzej S. Murawski |
| 2010 | Future Path-components in Directed Topology. Eric Goubault, Emmanuel Haucourt, Sanjeevi Krishnan |
| 2010 | Geometry of Synthesis II: From Games to Delay-Insensitive Circuits. Dan R. Ghica, Alex I. Smith |
| 2010 | Modelling Local Variables: Possible Worlds and Object Spaces. Guy McCusker, John Power |
| 2010 | On Rule Formats for Zero and Unit Elements. Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers |
| 2010 | Preface. Michael W. Mislove, Peter Selinger |
| 2010 | Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2010, Ottawa, Ontario, Canada, May 6-10, 2010 Michael W. Mislove, Peter Selinger |
| 2010 | Robin Milner's Work on Concurrency. Samson Abramsky |
| 2010 | Towards Measurable Types for Dynamical Process Modeling Languages. Eric Mjolsness |
| 2010 | Understanding Game Semantics Through Coherence Spaces. Ana C. Calderon, Guy McCusker |
| 2010 | Unitary Theories, Unitary Categories. Pieter J. W. Hofstra, J. Robin B. Cockett |