| 1988 | An Algebra and a Logic for NC¹ | Kevin J. Compton, Claude Laflamme |
| 1988 | Priorities in Process Algebras | Rance Cleaveland, Matthew Hennessy |
| 1988 | The Topology of Program Termination | Robert Cartwright, Alan J. Demers |
| 1988 | A Modest Model of Records, Inheritance and Bounded Quantification | Kim B. Bruce, Giuseppe Longo |
| 1988 | Combining Algebra and Higher-Order Types | Val Tannen |
| 1988 | Unification in Free Extensions of Boolean Rings and Abelian Groups | Alexandre Boudet, Jean-Pierre Jouannaud, Manfred Schmidt-Schau |
| 1988 | Characterizing X-Separability and One-Side Invertibility in lambda-beta-Omega-Calculus | Corrado Bhm, Adolfo Piperno |
| 1988 | Can LCF Be Topped? Flat Lattice models of Typed Lambda Calculus (Preliminary Report) | Bard Bloom |
| 1988 | Proving Termination Properties of Prolog Programs: A Semantic Approach | Marianne Baudinet |
| 1988 | Proof by Consistency in Equational Theories | Leo Bachmair |
| 1988 | A fixed point extension of the second order lambda-calculus: observable equivalences and models | Roberto M. Amadio |
| 1988 | The Existence of Refinement Mappings | Martn Abadi, Leslie Lamport |
| 1987 | Complete Type Inference for Simple Objects | Mitchell Wand |
| 1987 | Verification of Concurrent Programs: The Automata-Theoretic Framework | Moshe Y. Vardi |
| 1987 | On Chain Logic, Path Logic, and First-Order Logic over Infinite Trees | Wolfgang Thomas |
| 1987 | On the Eventuality Operator in Temporal Logic | A. Prasad Sistla, Lenore D. Zuck |
| 1987 | Reasoning with Many Processes | A. Prasad Sistla, Steven M. German |
| 1987 | A Semantical Approach to Nonmonotic Logics | Yoav Shoham |
| 1987 | Modelling Computations: A 2-Categorical Framework | Robert A. G. Seely |
| 1987 | Conjunctive Types and Algol-like Languages | John C. Reynolds |
| 1987 | Kripke-Style models for typed lambda calculus | John C. Mitchell, Eugenio Moggi |
| 1987 | Some Uses of Maximal Fixed Points (Abstract of Invited Lecture) | Robin Milner |
| 1987 | Hereditary Harrop Formulas and Uniform Proof Systems | Dale Miller, Gopalan Nadathur, Andre Scedrov |
| 1987 | Recursive Types and Type Constraints in Second-Order Lambda Calculus | Nax Paul Mendler |
| 1987 | Solving Disequations | Claude Kirchner, Pierre Lescanne |