| 1987 | A Framework for Defining Logics Robert Harper, Furio Honsell, Gordon D. Plotkin |
| 1987 | A Non-Type-Theoretic Definition of Martin-Löf's Types Stuart Allen |
| 1987 | A Semantical Approach to Nonmonotic Logics Yoav Shoham |
| 1987 | Complete Type Inference for Simple Objects Mitchell Wand |
| 1987 | Conjunctive Types and Algol-like Languages John C. Reynolds |
| 1987 | Decidability of the Confluence of Ground Term Rewriting Systems Max Dauchet, Sophie Tison, Thierry Heuillard, Pierre Lescanne |
| 1987 | Definability with Bounded Number of Bound Variables Neil Immerman, Dexter Kozen |
| 1987 | Domain Theory in Logical Form Samson Abramsky |
| 1987 | First-order Predicate Logic as a Common Basis for Relational and Functional Programming (Abstract). Maarten H. van Emden |
| 1987 | Full Abstraction and Expressive Completenes for FP Joseph Y. Halpern, Edward L. Wimmers |
| 1987 | Hereditary Harrop Formulas and Uniform Proof Systems Dale Miller, Gopalan Nadathur, Andre Scedrov |
| 1987 | Hoare Logic for Lambda-Terms as Basis of Hoare Logic for Imperative Languages Andreas Goerdt |
| 1987 | I'm OK if You're OK: On the Notion of Trusting Communication Ronald Fagin, Joseph Y. Halpern |
| 1987 | Inference Rules for Rewrite-Based First-Order Theorem Proving Leo Bachmair, Nachum Dershowitz |
| 1987 | Kripke-Style models for typed lambda calculus John C. Mitchell, Eugenio Moggi |
| 1987 | Minimalism subsumes Default Logic and Circumscription in Stratified Logic Programming Nicole Bidoit, Christine Froidevaux |
| 1987 | Modelling Computations: A 2-Categorical Framework Robert A. G. Seely |
| 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 | On the Formal Semantics of Statecharts (Extended Abstract) David Harel, Amir Pnueli, Jeanette P. Schmidt, Rivi Sherman |
| 1987 | Order-Sorted Algebra solves the Constructor-Selector, Multiple Joseph A. Goguen, José Meseguer |
| 1987 | Partial Objects In Constructive Type Theory Robert L. Constable, Scott F. Smith |
| 1987 | Partial Order Models of Concurrency and the Computation of Functions Haim Gaifman, Vaughan R. Pratt |
| 1987 | Polymorphism is conservative over simple types (Preliminary Report) Val Tannen, Albert R. Meyer |
| 1987 | Proceedings of the Symposium on Logic in Computer Science (LICS '87), Ithaca, New York, USA, June 22-25, 1987 |
| 1987 | Proving Boolean Combinations of Deterministic Properties Bowen Alpern, Fred B. Schneider |
| 1987 | Reasoning with Many Processes A. Prasad Sistla, Steven M. German |
| 1987 | Recursive Types and Type Constraints in Second-Order Lambda Calculus Nax Paul Mendler |
| 1987 | Solving Disequations Claude Kirchner, Pierre Lescanne |
| 1987 | Some Semantic Aspects of Polymorphic Lambda Calculus Peter J. Freyd, Andre Scedrov |
| 1987 | Some Uses of Maximal Fixed Points (Abstract of Invited Lecture) Robin Milner |
| 1987 | The Computational Behaviour of Girard's Paradox Douglas J. Howe |
| 1987 | The Hierarchy of Finitely Typed Functional Programs (Short Version) A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn |
| 1987 | The Power of Temporal Proofs Martín Abadi |
| 1987 | Theorem Proving Using Rigid E-Unification Equational Matings Jean H. Gallier, Stan Raatz, Wayne Snyder |
| 1987 | Undecidable Optimization Problems for Database Logic Programs Haim Gaifman, Harry G. Mairson, Yehoshua Sagiv, Moshe Y. Vardi |
| 1987 | Verification of Concurrent Programs: The Automata-Theoretic Framework Moshe Y. Vardi |
| 1987 | X-Separability and Left-Invertibility in lambda-calculus Corrado Böhm, Enrico Tronci |