| 2003 | Secure Protocol Composition. | Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic |
| 2003 | Entropic Geometry from Logic. | Bob Coecke |
| 2003 | Pseudo-distributive Laws. | Eugenia Cheng, Martin Hyland, John Power |
| 2003 | Cumulative Computing. | Yifeng Chen |
| 2003 | Ribbon Proofs. | Jules Bean |
| 1993 | Universal Quasi-Prime Algebraic Domains. | Guo-Qiang Zhang |
| 1993 | A Syntax for Linear Logic. | Philip Wadler |
| 1993 | Mechanizing Logical Relations. | Allen Stoughton |
| 1993 | A Predicative Semantics for the Refinement of Real-Time Systems. | David Scholefield, Hussein S. M. Zedan, Jifeng He |
| 1993 | Timewise Refinement for Communicating Processes. | Steve A. Schneider |
| 1993 | An Investigation into Functions as Processes. | Davide Sangiorgi |
| 1993 | A Strucutral Co-Induction Theorem. | Jan J. M. M. Rutten |
| 1993 | A Complete Axiomatisation for Trace Congruence of Finite State Behaviors. | Alexander Moshe Rabinovich |
| 1993 | Computational Adequacy via "Mixed" Inductive Definitions. | Andrew M. Pitts |
| 1993 | On the Specification of Elementary Reactive Behaviour. | G. Michele Pinna, Axel Poign |
| 1993 | Lifting Theorems for Kleisli Categories. | Philip S. Mulry |
| 1993 | Time Abstracted Bisimiulation: Implicit Specifications and Decidability. | Kim Guldstrand Larsen, Wang Yi |
| 1993 | The Asymmetric Topology of Computer Science. | Ralph Kopperman, Bob Flagg |
| 1993 | A Chemical Abstract Machine for Graph Reduction. | Alan Jeffrey |
| 1993 | Linear Domains and Linear Maps. | Michael Huth |
| 1993 | Probabilistic Power Domains, Information Systems, and Locales. | Reinhold Heckmann |
| 1993 | Category of Delta-Functors. | Adrian Fiech |
| 1993 | On the Transformation between Direct and Continuation Semantics. | Olivier Danvy, John Hatcliff |
| 1993 | On the Symmetry of Sequentiality. | Pierre-Louis Curien |
| 1993 | Axiomatising Real-Time Processes. | Liang Chen |