| 1993 | A Coinduction Principle for Recursive Data Types Based on Bisimulation Marcelo P. Fiore |
| 1993 | A Fully Abstract Denotational Model for Higher-Order Processes (Extended Abstract) Matthew Hennessy |
| 1993 | A Tutorial on Finite Model Theory (Abstract) Phokion G. Kolaitis |
| 1993 | A Typed Pattern Calculus Val Tannen, Delia Kesner, Laurence Puel |
| 1993 | A lambda calculus of objects and method specialization John C. Mitchell, Furio Honsell, Kathleen Fisher |
| 1993 | Adequacy for untyped translations of typed lambda-calculi Wesley Phoa |
| 1993 | An Exponential Separation between the Matching Principle and the Pigeonhole Principle Paul Beame, Toniann Pitassi |
| 1993 | Asymptotic Probabilities of Languages with Generalized Quantifiers Guy Fayolle, Stéphane Grumbach, Christophe Tollu |
| 1993 | Automated Production of Traditional Proofs for Constructive Geometry Theorems Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang |
| 1993 | Bisimulation and Co-induction (Tutorial) Andrew M. Pitts |
| 1993 | Bisimulation and open maps André Joyal, Mogens Nielsen, Glynn Winskel |
| 1993 | Compositional Analysis for Concurrent Constraint Programming Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi |
| 1993 | Database Query Languages Embedded in the Typed Lambda Calculus Gerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson |
| 1993 | Decomposability, Decidability and Axiomatisability for Bisimulation Equivalence on Basic Parallel Processes Søren Christensen, Yoram Hirshfeld, Faron Moller |
| 1993 | Encoding the Calculus of Constructions in a Higher-Order Logic Amy P. Felty |
| 1993 | Full Abstraction for a Shared Variable Parallel Language Stephen D. Brookes |
| 1993 | Functional Unification of Higher-Order Patterns Tobias Nipkow |
| 1993 | Homomorphic Tree Embeddings and Their Applications to Recursive Program Optimization Laks V. S. Lakshmanan, Karima Ashraf, Jiawei Han |
| 1993 | Imperfect information flow Jon Barwise, Jerry Seligman |
| 1993 | In and Out of Temporal Logic Amir Pnueli, Lenore D. Zuck |
| 1993 | Infinitary Logics and Very Sparse Random Graphs James F. Lynch |
| 1993 | Lambek Grammars Are Context Free Mati Pentus |
| 1993 | Local and asynchronous beta-reduction (an analysis of Girard's execution formula) Vincent Danos, Laurent Regnier |
| 1993 | Monadic Second-Order Logic and Hypergraph Orientation Bruno Courcelle |
| 1993 | Non-Determinism in a Functional Setting C.-H. Luke Ong |
| 1993 | On Completeness of the mu-calculus Igor Walukiewicz |
| 1993 | On Model Checking for Real-Time Properties with Durations Ahmed Bouajjani, Rachid Echahed, Joseph Sifakis |
| 1993 | On the Unification Problem for Cartesian Closed Categories Paliath Narendran, Frank Pfenning, Richard Statman |
| 1993 | Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), Montreal, Canada, June 19-23, 1993 |
| 1993 | Programs, grammars and arguments: a personal view of some connections between computation, language and logic Joachim Lambek |
| 1993 | Relational Properties of Recursively Defined Domains Andrew M. Pitts |
| 1993 | Rules of Definitional Reflection Peter Schroeder-Heister |
| 1993 | Self-Synchronization of Concurrent Processes (Preliminary Report) Lalita Jategaonkar, Albert R. Meyer |
| 1993 | Set Constraints are the Monadic Class Leo Bachmair, Harald Ganzinger, Uwe Waldmann |
| 1993 | Some Desirable Conditions for Feasible Functionals of Type~2 Anil Seth |
| 1993 | Standard ML-NJ weak polymorphism and imperative constructs My Hoang, John C. Mitchell, Ramesh Viswanathan |
| 1993 | Strong Normalization for Second Order Classical Natural Deduction Michel Parigot |
| 1993 | The Genericity Theorem and the Notion of Parametricity in the Polymorphic lambda-calculus (Extended Abstract) Giuseppe Longo, Kathleen Milsted, Sergei Soloviev |
| 1993 | The Unifiability Problem in Ground AC Theories Paliath Narendran, Michaël Rusinowitch |
| 1993 | The order types of termination orderings on monadic terms, strings and multisets Ursula Martin, Elizabeth Scott |
| 1993 | Type Theory and Recursion (Extended Abstract) Gordon D. Plotkin |
| 1993 | Typing and Subtyping for Mobile Processes Benjamin C. Pierce, Davide Sangiorgi |
| 1993 | Verifying Programs with Unreliable Channels Parosh Aziz Abdulla, Bengt Jonsson |
| 1993 | y = 2x vs. y = 3x Damian Niwinski, Alexei P. Stolboushkin |