| 1994 | Logical Bilattices and Inconsistent Data | Ofer Arieli, Arnon Avron |
| 1994 | A Compositional Proof System for the Modal mu-Calculus | Henrik Reif Andersen, Colin Stirling, Glynn Winskel |
| 1994 | Finitary Fairness | Rajeev Alur, Thomas A. Henzinger |
| 1994 | The Power of Reflective Relational Machines | Serge Abiteboul, Christos H. Papadimitriou, Victor Vianu |
| 1994 | A Semantics of Object Types | Martn Abadi, Luca Cardelli |
| 1993 | On Completeness of the mu-calculus | Igor Walukiewicz |
| 1993 | y = 2x vs. y = 3x | Damian Niwinski, Alexei P. Stolboushkin |
| 1993 | Some Desirable Conditions for Feasible Functionals of Type~2 | Anil Seth |
| 1993 | Rules of Definitional Reflection | Peter Schroeder-Heister |
| 1993 | In and Out of Temporal Logic | Amir Pnueli, Lenore D. Zuck |
| 1993 | Type Theory and Recursion (Extended Abstract) | Gordon D. Plotkin |
| 1993 | Relational Properties of Recursively Defined Domains | Andrew M. Pitts |
| 1993 | Bisimulation and Co-induction (Tutorial) | Andrew M. Pitts |
| 1993 | Typing and Subtyping for Mobile Processes | Benjamin C. Pierce, Davide Sangiorgi |
| 1993 | Adequacy for untyped translations of typed lambda-calculi | Wesley Phoa |
| 1993 | Lambek Grammars Are Context Free | Mati Pentus |
| 1993 | Strong Normalization for Second Order Classical Natural Deduction | Michel Parigot |
| 1993 | Non-Determinism in a Functional Setting | C.-H. Luke Ong |
| 1993 | Functional Unification of Higher-Order Patterns | Tobias Nipkow |
| 1993 | The Unifiability Problem in Ground AC Theories | Paliath Narendran, Michal Rusinowitch |
| 1993 | On the Unification Problem for Cartesian Closed Categories | Paliath Narendran, Frank Pfenning, Richard Statman |
| 1993 | A lambda calculus of objects and method specialization | John C. Mitchell, Furio Honsell, Kathleen Fisher |
| 1993 | The order types of termination orderings on monadic terms, strings and multisets | Ursula Martin, Elizabeth Scott |
| 1993 | Infinitary Logics and Very Sparse Random Graphs | James F. Lynch |
| 1993 | The Genericity Theorem and the Notion of Parametricity in the Polymorphic lambda-calculus (Extended Abstract) | Giuseppe Longo, Kathleen Milsted, Sergei Soloviev |