| 2001 | A Case Study in Abstract Interpretation Based Program Transformation: Blocking Command Elimination. Patrick Cousot, Radhia Cousot |
| 2001 | A Concurrent Graph Semantics for Mobile Ambients. Fabio Gadducci, Ugo Montanari |
| 2001 | A Game Semantics of Idealized CSP. James Laird |
| 2001 | A Generalisation of Stationary Distributions, and Probabilistic Program Algebra. Annabelle McIver |
| 2001 | A New Approach to Quantitative Domain Theory. Lei Fan |
| 2001 | A Probabilistic Polynomial-time Calculus For Analysis of Cryptographic Protocols (Preliminary Report). John C. Mitchell, Ajith Ramanathan, Andre Scedrov, Vanessa Teague |
| 2001 | A Relationship between Equilogical Spaces and Type Two Effectivity. Andrej Bauer |
| 2001 | A Selective CPS Transformation. Lasse R. Nielsen |
| 2001 | An Algebraic Foundation for Graph-based Diagrams in Computing. John Power, Konstantinos Tourlas |
| 2001 | Comparing Control Constructs by Double-barrelled {CPS} Transforms. Hayo Thielecke |
| 2001 | Demonstrating Lambda Calculus Reduction. Peter Sestoft |
| 2001 | Distance and Measurement in Domain Theory. Pawel Waszkiewicz |
| 2001 | Elements of Stream Calculus (An Extensive Exercise in Coinduction). Jan J. M. M. Rutten |
| 2001 | Key Compromise, Strand Spaces, and the Authentication Tests. Joshua D. Guttman |
| 2001 | Model-Checking View-Based Partial Specifications. Michael Huth, Shekhar Pradhan |
| 2001 | On Extracting Static Semantics. John Hannan |
| 2001 | Preface. Stephen D. Brookes, Michael W. Mislove |
| 2001 | Pseudo-commutative Monads. Martin Hyland, John Power |
| 2001 | Regular-Language Semantics for a Call-by-Value Programming Language. Dan R. Ghica |
| 2001 | Semantics for Algebraic Operations. Gordon D. Plotkin, John Power |
| 2001 | Seventeenth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2001, Aarhus, Denmark, May 23-26, 2001 Stephen D. Brookes, Michael W. Mislove |
| 2001 | Stably Compact Spaces and Closed Relations. Achim Jung, Mathias Kegelmann, M. Andrew Moshier |
| 2001 | Time Stamps for Fixed-Point Approximation. Daniel Damian |
| 2001 | Transfer Principles for Reasoning About Concurrent Programs. Stephen D. Brookes |
| 2001 | Typing Correspondence Assertions for Communication Protocols. Andrew D. Gordon, Alan Jeffrey |
| 2001 | Unique Fixed Points in Domain Theory. Keye Martin |